The square on the side of a rational plus a medial area applied to a rational straight line produces as breadth the fifth binomial.
lines 74–74 in main.tex