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

X.113 Proposition X.113

The square on a rational straight line applied to an apotome produces as breadth a binomial the terms of which are commensurable with the terms of the apotome and in the same ratio.

lines 74–74 in main.tex