18^a

// Sit a ad b sicut c ad d. Item e ad b sicut f ad d. // Aio quod totus ae ad b erit sicut totus cf ad d⁴⁵.

26 // Nam tunc conversim erit b ad e sicut d ad f. Igitur ex aequali, per praecedentem, erit a ad e sicut c ad f et coniunctim, per 15^am, totus ae ad e⁴⁶ sicut totus cf ad f. Rursum ergo ex aequali, ae ad b sicut cf ad d quod est propositum.