The square on the line producing with a medial area a medial whole applied to a rational straight line produces as breadth a sixth apotome.
lines 74–74 in main.tex