Θεώρημα : Αν
είναι ένα γεωδαισιακό τρίγωνο σε μια κανονική επιφάνεια
με εσωτερικές γωνίες
και
η καμπυλότητα
της
, τότε
.δηλαδή να μην χρησιμοποιείται στην απόδειξη η πρώτη εκδοχή ή δεύτερη εκδοχή του θεωρήματος
και να είναι η απόδειξη όσο το δυνατόν στοιχειώδη.