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