Si ut 'eb' ad 'bd', ita est 'db' ad 'bc', erit ita 'ed' ad 'de'; et quia 'eb' est dupla 'bc', erit _[quadratum] 'ed' duplum _[quadrato] 'dc'.