Proof
Let and suppose . Divide
by with remainder; the remainder is measured by both and
(Common Notion 3 on the equimultiples) and is less than . By
minimality of , .
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.