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

X.109 Proposition X.109

If from a medial area a rational area be subtracted, two other irrational straight lines arise, namely a first apotome of a medial or the line producing with a rational area a medial whole.

lines 74–74 in main.tex