VIII.6 Proposition VIII.6
If there be as many numbers as we please in continued proportion, and the first do not measure the second, neither will any other measure any other.
Proof
Contrapositive of VIII.7: divisibility propagates through the
sequence, so failure at the first step prevents any later
divisibility relation.
lines 74–74 in main.tex