تنُصُّ صيغة اقليدس أنّه: "إذا سقط مستقيمٌ على مستقيمين آخرين بحيث يكون قياس الزاويتين الداخليتين على نفس الجانب العرضي كلاهما أقلُّ من زاويةٍ قائمة، فإنّ الخطوط تتقاطع في نهاية المطاف على ذلك الجانب، وبالتالي لا تكون متوازية"