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

X.41 Proposition X.41

If two straight lines incommensurable in square which make the sum of the squares on them medial, and the rectangle contained by them medial and also incommensurable with the sum of the squares on them, be added together, the remaining straight line is irrational; and let it be called the side of the sum of two medial areas.

lines 74–74 in main.tex