al-Nayrīzī: Šarḥ kitāb al-Uṣūl li-Ūqlīdis (pt. 3) (Commentary on Euclid's Elements)

ضعف زاوية باد وبمثل هذا الاستشهاد يتبيّن ان زاوية جـده ضعف زاوية باد وبمثل هذا الاستشهاد يتبيّن ان زاوية جـده مثل ضعف زاوية جـاد فجميع زاوية بدجـ ضعف جميع زاوية باجـ فقد ظهر انّ الزاوية التى على مركز كل دائرة ضعف الزاوية التى على محيطها اذا كانت قاعدتهما قوساً واحدة وذلك ما اردنا ان نبيّن.

فان كان وضع الزاوية التى على المحيط مثل [وضع] زاوية جـاب وخط اد يتصل بخط دب على استقامة فظاهر ان زاوية جـدب ضعف زاوية جـاب. وان كان وضع الزاوية التى على المحيط مثل وضع زاوية جـدب على ان تقاطع خط جـد خط هب فانّا نخرج خط دهز فمن اجل انّ خط هد مساو لخط هب فانّ زاوية هدب مساوية لزاوية هبد فزاوية بهز التى هى خارج مثلث هبد ضعف زاوية هدب وايضا فانّ خط هد مساو لخط هجـ فزاوية هدجـ مساوية لزاوية هجـد فزاوية زهجـ ضعف زاوية هدجـ فاذا اسقطناهما بقيت زاوية بهجـ ضعف زاوية بدجـ وذلك ما اردنا ان نبيّن.

وقال ايرن ايضاً

امّا الشكل فقد تبيّن بكل وضع وبرهن على كل عمل وقد يبقى علينا ان نضع المقدّمة المقولة له ونبرهنه برهاناً عامّا لانّه ان لم يبرهن على ما سنبرهنه لم يمكنّا ان نبرهن الشكل الذى بعده على كل وضع لكن على ما وضعه الرياضى فقط وذلك منكر لانّه قد يجب اضطراراً ان تصيّر المقدمة عامّةً وان يبرهن على كل وضع وان تحلّ عناد المعاندين ليلا يكون شى فى المساحة غير مبرهن واذا وضعنا هذه المقدّمة وبيّنا الشكل كان جميع ما فى الشكل بيّناً واضحاً ولا يبقى للمعاندين موضع