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

X.33 Proposition X.33

To find two straight lines incommensurable in square which make the sum of the squares on them rational but the rectangle contained by them medial.

lines 74–74 in main.tex