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

X.39 Proposition X.39

If two straight lines incommensurable in square which make the sum of the squares on them rational, but the rectangle contained by them medial, be added together, the whole straight line is irrational; and let it be called major.

lines 74–74 in main.tex