Greatest Common Measure of Commensurable Magnitudes

Theorem

 * Given two commensurable magnitudes, to find their greatest common measure.