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

X.30 Proposition X.30

To find two rational straight lines commensurable in square only such that the square on the greater is greater than the square on the less by the square on a straight line incommensurable in length with the greater.

lines 74–74 in main.tex