X.3 Proposition X.3
Given two commensurable magnitudes, to find their greatest common measure.
Proof
Apply anthyphairesis (the Euclidean algorithm on magnitudes); by X.2
the algorithm terminates exactly when a common measure exists.
lines 74–74 in main.tex