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

X.11 Proposition X.11

If four magnitudes be proportional, and the first be commensurable with the second, the third also will be commensurable with the fourth; and if the first be incommensurable with the second, the third also will be incommensurable with the fourth.

lines 74–74 in main.tex