Source — Euclid's Elements, encoded as an rrxiv paper

V.16 Definition V.16

Conversion of a ratio means taking the antecedent in relation to the excess by which the antecedent exceeds the consequent.

lines 74–74 in main.tex