A straight line commensurable in length with an apotome is itself an apotome and the same in order.
lines 74–74 in main.tex