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

X.III.4 Definition X.III.4

If the square of the whole exceeds the square of the annex by the square of a straight line incommensurable in length with the whole, and the whole is commensurable in length with the assigned rational straight line, the apotome is called a fourth apotome.

lines 74–74 in main.tex