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

X.76 Proposition X.76

If from a straight line there be subtracted a straight line incommensurable in square with the whole, which with the whole makes the squares on them added together rational, but the rectangle contained by them medial, the remainder is irrational; and let it be called minor.

lines 74–74 in main.tex