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

XIII.3 Proposition XIII.3

If a straight line be cut in extreme and mean ratio, the square on the lesser segment added to the half of the greater segment is five times the square on the half of the greater segment.

lines 74–74 in main.tex