VII.33 Proposition VII.33
Given as many numbers as we please, to find the least of those which have the same ratio with them.
Proof
Divide each given number by their common gcd (VII.3); the quotients
are pairwise coprime (VII.22) and least in the original ratio.
lines 74–74 in main.tex