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

X.8 Proposition X.8

If two magnitudes have not to one another the ratio which a number has to a number, the magnitudes will be incommensurable.

lines 74–74 in main.tex