(related to Proposition: Prop. 10.002: Incommensurable Magnitudes do not Terminate in Euclidean Algorithm)
I say that the magnitudes $AB$ and $CD$ are incommensurable.
For if they are commensurable then some magnitude will measure them (both).
The fact that this will eventually occur is guaranteed by [Prop. 10.1] (translator's note). ↩