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