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

X.96 Proposition X.96

If an area be contained by a rational straight line and a sixth apotome, the side of the area is the line producing with a medial area a medial whole.

lines 74–74 in main.tex