The square on the side of the sum of two medial areas applied to a rational straight line produces as breadth the sixth binomial.
lines 74–74 in main.tex