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

X.75 Proposition X.75

If from a medial straight line there be subtracted a medial straight line commensurable with the whole in square only, and containing with the whole a medial rectangle, the remainder is irrational; and let it be called second apotome of a medial.

lines 74–74 in main.tex