16^a

// Sit sicut a ad b sic c ad d. // Aio quod permutatim erit sicut a ad c sic b ad d.

36 // Sint enim ipsarum a b aeque multiplices e f et ipsarum c d aeque multiplices aliae g h eritque per praemissam, sicut e ad f sic a ad b et ideo sic c ad d per 11^am huius: sed c ad d sicut g ad h per praemissam: rursum ergo per 11^am sicut e ad f sic g ad h quare per 14^am huius, si e excedit ipsam g et f excedet ipsam h et si aequalis, aequalis: et si minor, minor. Itaque per diffinitionem proportionalium magnitudinum, erit [A:5r] a ad c sicut b ad d quod est propositum.