X.25 Proposition X.25
The rectangle contained by medial straight lines commensurable in square only is either rational or medial.
Proof
Two cases depending on whether the rectangle has a rational
square-root. Both cases are realised by explicit constructions.
lines 74–74 in main.tex