X.60 Proposition X.60
The square on the binomial straight line applied to a rational straight line produces as breadth the first binomial.
Proof
Inverse of X.54: squaring and dividing by the assigned rational
recovers the first binomial.
lines 74–74 in main.tex