A straight line commensurable with the line producing with a rational area a medial whole is itself such a line.
lines 74–74 in main.tex