COROLLAIRE PREMIER
Donc Dieu ne satisfait pas pleinement, ni autant qu'il le pourrait, dans les damnés, à ce que l'ordre demande indispensablement.
Démonstration. — Par les quatrième, cinquième et sixième propositions, l'ordre demande indispensablement que le péché soit puni d'une peine infinie, ou du moins selon toute la capacité du coupable. Or, par la septième proposition, le péché n'est puni dans les damnés ni d'une peine infinie, ni selon toute la capacité qu'ils ont de souffrir : Dieu ne satisfait donc pas pleinement dans les damnés à ce que l'ordre demande indispensablement.