Incommensurable Magnitudes do not Terminate in Euclid's Algorithm