If, when the lesser of two unequal magnitudes is continually subtracted in turn from the greater, that which is left never measures the one before it, the magnitudes will be incommensurable.
Proof
A common measure would persist through anthyphairesis (Common Notion
3); non-termination of the algorithm thus implies no common measure
exists.