Euclid's Elements, Book X, Proposition 2 (X.2)

Euclid's Elements, Book X, Proposition 2 "If, when 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."