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

X.92 Proposition X.92

If an area be contained by a rational straight line and a second apotome, the side of the area is a first apotome of a medial.

lines 74–74 in main.tex