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

X.74 Proposition X.74

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 rational rectangle, the remainder is irrational; and let it be called first apotome of a medial.

lines 74–74 in main.tex