Propositio 17^a

1 Aggregatum ipsorum bc est excessus quo aggregatum ipsorum gl maius est aggregato ipsorum hk.

Patet sic. Si differentia ipsorum gh esset aequalis differentiae ipsorum kl, tunc aggregatum ipsorum¹ gl esset aequale aggregato ipsorum hk. 2 Sed [S:79] quoniam differentia ipsorum kl, hoc est f, superat differentiam ipsorum gh, hoc est ipsum d, in aggregato ipsorum bc, quod per decimam praemissarum est id quo f superat ipsum d; idcirco aggregatum ipsorum gl maius est² aggregato ipsorum hk in aggregato ipsorum bc. Quod fuit demonstrandum.