Meşhûr bir teorem olarak duymuşluğum yok. Ama yukarıda bahsettiğim bağlamda tabî ki böyle bir teorem var deriz. Bu ispatlanabilecek bir ifâde. Postulatlar 5 tâne:
1) İki noktadan bir doğru geçirilebilir,
2) Bir doğru parçası doğruya tamamlanabilir,
3) İstenen merkezde istenen yarıçapta çember tanımlanabilir,
4) Tüm dik açıları özdeştir,
5) Bir doğru, iki doğru tarafından kesilsin. Bu iki doğru, karşılıklı açıların $180$'den küçük olduğu tarafta kesişirler.
Bu problemi belki 5. postula yardımıyla çözebilirsin, denemek lâzım.