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

V.4 Definition V.4

Magnitudes are said to have a ratio to one another which are capable, when multiplied, of exceeding one another (the Archimedean property).

lines 74–74 in main.tex