Only one rational straight line can be annexed to an apotome which is commensurable with the whole in square only.
lines 74–74 in main.tex