X.27 Proposition X.27
To find medial straight lines commensurable in square only which contain a rational rectangle.
Proof
Construct two such medials from a fixed rational by extracting two
square-roots of ratios in lowest terms.
lines 74–74 in main.tex