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

X.7 Proposition X.7

Incommensurable magnitudes have not to one another the ratio which a number has to a number.

lines 74–74 in main.tex