Incommensurable Magnitudes do not Terminate in Euclid's Algorithm

Theorem

 * If, then the less 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.