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

X.32 Proposition X.32

To find two medial straight lines commensurable in square only, containing a medial rectangle, such that the square on the greater is greater than the square on the less by the square on a straight line commensurable in length with the greater.

lines 74–74 in main.tex