فَلَوْ قَالَ لَهُ عَلَيَّ عَشْرَةٌ إلَّا تِسْعَةً إلَّا ثَمَانِيَةً وَجَبَ تِسْعَةٌ أَيْ إلَّا تِسْعَةً لَا تَلْزَمُ إلَّا ثَمَانِيَةً تَلْزَمُ فَتُضَمُّ لِلْوَاحِدِ الْبَاقِي مِنْ الْعَشَرَةِ وَطَرِيقُ ذَلِكَ وَنَظَائِرُهُ أَنْ تَجْمَعَ كُلَّ مُثْبَتٍ وَكُلَّ مَنْفِيٍّ وَتُسْقِطَ هَذَا مِنْ ذَاكَ فَالْبَاقِي هُوَ الْوَاجِبُ فَمُثْبَتُ هَذِهِ الصُّورَةِ ثَمَانِيَةَ عَشَرَ وَمَنْفِيُّهَا تِسْعَةٌ أَسْقِطْهَا مِنْهَا تَبْقَ تِسْعَةٌ وَلَوْ زَادَ عَلَيْهَا إلَى الْوَاحِدِ كَانَ مُثْبَتُهَا ثَلَاثِينَ وَمَنْفِيُّهَا
فلو قال له علي عشرة إلا تسعة إلا ثمانية وجب تسعة أي إلا تسعة لا تلزم إلا ثمانية تلزم فتضم للواحد الباقي من العشرة وطريق ذلك ونظائره أن تجمع كل مثبت وكل منفي وتسقط هذا من ذاك فالباقي هو الواجب فمثبت هذه الصورة ثمانية عشر ومنفيها تسعة أسقطها منها تبق تسعة ولو زاد عليها إلى الواحد كان مثبتها ثلاثين ومنفيها