The square on the first bimedial straight line applied to a rational straight line produces as breadth the second binomial.
lines 74–74 in main.tex