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

X.III.5 Definition X.III.5

If, in the same case, the annex is commensurable in length with the assigned rational straight line, the apotome is called a fifth apotome.

lines 74–74 in main.tex