كتاب مفتاح العلوم

عن المساواة فقل إن شئت لفلان عليّ ثلاثة دراهم إلا ثلاثة إلا اثنين إلا أربعة إلا واحداً فليلزم درهمان لنزول على ثلاثة إلا ثلاثة إلا اثنين منزلة لفلان على أربعة لوقوع الاثنين في درجة الإثبات لكونهما مستثنيين عن ثلاثة هي في درجة النفي لكونها في محل الاستثناء عن ثلاثة مثبتة وإن كان تحقيق استثنائها عندك موقوفا على تبين مقدار خروجها عن المساواة للمستثنى منه ولزوم الاثنين من قولك عليّ أربعة إلا أربعة إلا واحداً بالطريق المذكور في إثبات الأربعة ولفلان على ثلاثة إلا ثلاثة إلا ثلاثة إلا ثلاثة إلا واحداً فليلزم الثلاثة لوجوب الواحد الواقع في درجة الإثبات، ووجوب واحد آخر من الثلاثة الثالثة عن الواحد وآخر ثالث من الثلاثة الخامسة عنه، وهي الثلاثة الأولى ولفلان عليّ ثلاثة دراهم إلا ثلاثة إلا واحداً إلا اثنين إلا ثلاثة إلا اثنين، فليلزم واحد لإسقاط الاثنين الآخرين من الثلاثة التي فيها الواقعة في درجة الإثبات وإخراج الواحد الباقي منها بعد الإسقاط من الاثنين قبله الساقطين وإسقاط الواحد الباقي منهما من الواحد قبله المجتمع من الواحد للباقي من الثلاثة الأولى المسقط عنها الاثنان الباقيان من الثلاثة المسقطة المخرج عنها الواحد بالإثبات ولفلان عليّ عشرة إلا تسعة إلا ثمانية إلا سبعة إلا ستة إالخمسة إلا أربعة إلا ثلاثة إلا اثنين إلا واحد إلا اثنين إلا ثلاثة إلا أربعة إالخمسة إلا ستة إلا سبعة إلا ثمانية إلا تسعة فيلزم واحد، لأنك إذا قلت عليّ عشرة إلا تسعة لزم واحد ثم قلت إلا ثمانية صار اللازم تسعة ثم إذا قلت إلا سبعة بقي اللازم اثنين ثم إذا قلت إلا ستة صار اللازم ثمانية ثم إذا قلت إالخمسة بقي اللازم ثلاثة ثم إذا قلت إلا أربعة صار اللازم سبعة ثم إذا قلت إلا ثلاثة بقي اللازم أربعة ثم إذا قلت إلا اثنين صار اللازم ستة ثم إذا قلت