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

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

الشكل التاسع والعشرون من المقالة الاولى

اذا اخرج خط (ع) مستقيم على خطين مستقيمين متوازيين فان الزاويتين المتبادلتين متساويتان (ط) والزاويتان (ط) الخارجة والداخلة