The square on a first apotome of a medial straight line applied to a rational straight line produces as breadth a second apotome.
lines 74–74 in main.tex