X.42 Proposition X.42
A binomial straight line is divided into its terms at one point only.
Proof
Suppose two decompositions a1+b1=a2+b2 of the same
binomial. Comparing rationals and medials in the squares forces
a1=a2 and b1=b2.
lines 74–74 in main.tex