Proposition: 7.04: Smaller Numbers are Dividing or not Dividing Larger Numbers
Euclid's Formulation
Any number is either part or parts of any (other) number, the lesser of the greater.
* Let $A$ and $BC$ be two numbers, and let $BC$ be the lesser.
* I say that $BC$ is either part or parts of $A$.
Modern Formulation
For two positive integers $0 < a < b$ we have either $a\mid b\wedge a\neq b$ or $a\not\mid d.$
Notes
Table of Contents
Proofs: 1
Mentioned in:
Proofs: 1
Thank you to the contributors under CC BYSA 4.0!
 Github:

 nonGithub:
 @Fitzpatrick
References
Adapted from (subject to copyright, with kind permission)
 Fitzpatrick, Richard: Euclid's "Elements of Geometry"
Adapted from CC BYSA 3.0 Sources:
 Prime.mover and others: "Pr∞fWiki", https://proofwiki.org/wiki/Main_Page, 2016