V.10 Proposition V.10
Of magnitudes which have a ratio to the same, that which has a greater ratio is greater; and that to which the same has a greater ratio is less.
Proof
Same contrapositive of V.8: if a:c>b:c then a>b, since if
a≤b then a:c≤b:c by V.7 or V.8 applied in reverse.
lines 74–74 in main.tex