Propositio 17^a

560 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. 561 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.