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

X.III.6 Definition X.III.6

If neither the whole nor the annex is commensurable in length with the assigned rational straight line, the apotome is called a sixth apotome.

lines 74–74 in main.tex