باطل ؛ لأنّه إمّا أن يوجد بين الامتدادين بعد لا يوجد فوقه بعد آخر ، أو لا يوجد. والأوّل يوجب انقطاهما ، وقد فرضناهما غير متناهيين ، هذا خلف. والثاني يقتضي أن لا تكون هناك زيادة إلّا وهي حاصلة في بعد آخر ، فيصدق على كلّ زيادة أنّها حاصلة في بعد ، ومتى صدق على كلّ واحدة أنّها حاصلة في بعد ، صدق على المجموع أنّه حصل في بعد ، فوجب أن يوجد بين الامتدادين بعد يشتمل على الزيادات الغير المتناهية مع كونه محصورا بين حاصرين ، وهو محال.

وأيضا يجب أن يكون هو آخر الأبعاد ، وإلّا لو كان فوقه بعد آخر لم يكن مشتملا على زيادته مع أنّا فرضناه مشتملا على كل الزيادات ، وإذا كان آخر الأبعاد وجب انقطاع الامتدادين ، وأن لا ينفذا بعد وجود هذا البعد الذي فرضناه آخر الأبعاد.

وهذا البرهان يشتمل على مقدمة واحدة مشكلة ، وهي أنّ كلّ زيادة لمّا كانت حاصلة في بعد وجب أن تكون جميع الزيادات حاصلة في بعد ، فإن ثبتت استمر البرهان ، وإلّا سقط بالكلّية (١).

ج (٢) : لو كانت الأبعاد غير متناهية ، لأمكن فرض خطين غير متناهيين من جهة ومبدءاهما واحد ، ثم تقطع من أحدهما قطعة متناهية ، ثم يطبق الخط الأوّل مع الخط المقطوع ، بأن يجعل الأوّل من التّام بإزاء الأوّل من الثاني بعد القطع ، والثاني من الأوّل بإزاء الثاني من الثاني وهكذا ، فإن استمر التطبيق بينهما إلى غير النهاية ، ولم ينقص أحدهما عن صاحبه كان الشيء مع غيره كهو لا مع غيره ، إذ كانا قبل القطع متساويين وبعده كذلك ، فيكون الخط المقطوع مساويا للتام حالتي قطعه وعدمه ، فيكون وجود القطعة المحذوفة وعدمها سواء ، إذ لم يظهر هناك تفاوت ،

__________________

(١) راجع شرح الإشارات النمط الأوّل : ٦٧.

(٢) وهو المسمّى ببرهان التطبيق ، انظر القبسات : ٢٣١.