X.6 Proposition X.6
If two magnitudes have to one another the ratio which a number has to a number, the magnitudes will be commensurable.
Proof
Converse of X.5: if a:b=m:n, dividing a by m produces a
common measure of a and b.
lines 74–74 in main.tex