A straight line commensurable with the side of the sum of two medial areas is the side of the sum of two medial areas.

Let AB be the side of the sum of two medial areas, and CD commensurable with AB; it is to be proved that CD is also the side of the sum of two medial areas.

For, since AB is the side of the sum of two medial areas,