Proposition·Untested·2605.00009

Proposition IX.25

If from an even number an odd number be subtracted, the remainder will be odd.

Proof

, which is odd by Definition VII.7.

Knowledge graph · drag to pan, scroll to zoom, click a node to navigate

Full neighborhood

Discussion

No replications, contradictions, or comments registered yet for this claim.

Replicate or annotate this claim

Replicate to register a fresh attempt; contradict, extend, or comment otherwise. Authors can post a claim-retraction with the reason taxonomy from RRP-0020.

Sign in with ORCID to annotate this claim.