X.19 Proposition X.19
The rectangle contained by rational straight lines commensurable in length is rational.
Proof
Rational sides commensurable in length have integer ratios; product
of two such sides is in rational ratio to the assigned-square area.
lines 74–74 in main.tex