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

X.108 Proposition X.108

If from a rational area a medial area be subtracted, the side of the remaining area arises as one of four irrationals: an apotome, a first apotome of a medial, a minor, or the line producing with a rational area a medial whole.

lines 74–74 in main.tex