And the greater (magnitude is) a multiple of the lesser when it is measured by the lesser.
A positive real number \(\beta > 0\) is called a multiple of another positive real number1 \(\alpha\), if there exists a natural number \(k > 1\) such that[^2] \[\beta=k\cdot \alpha.\]
Proofs: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Propositions: 22 23 24 25 26 27
i.e. $\beta$ is multiple of $\alpha$ if and only if $\alpha$ is aliquot part of $\beta.$ ↩