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

X.13 Proposition X.13

If two magnitudes be commensurable, and one of them be incommensurable with any magnitude, the remaining one will also be incommensurable with the same.

lines 74–74 in main.tex