A straight line commensurable with the side of the sum of two medial areas is itself such a side.
lines 74–74 in main.tex