VII.22 Proposition VII.22
The least numbers of those which have the same ratio with them are prime to one another.
Proof
Converse of VII.21: any common measure of the least pair would
generate a strictly smaller pair in the same ratio, contradicting
minimality.
lines 74–74 in main.tex