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

X.110 Proposition X.110

If from a medial area there be subtracted a medial area incommensurable with the whole, the remaining two irrational straight lines arise: a second apotome of a medial or the line producing with a medial area a medial whole.

lines 74–74 in main.tex