Gauss-Bonnet teoremine gore bir S yuzeyindeki ABC geodezik ucgeninin ic acilari toplami A+B+C=π+∫K(p)
ile verilir. Yaricapi 1 olan bir kure icin
K(p) egrilik katsayisi her p noktasinda 1 olacagindan teorem kure icin
A+B+C=π+alan(ABC)
seklini alir. Kurenin alani
4π birim kare oldugundan uzerindeki en buyuk alanli ucgen alaninin ust siniri
2π olmali. Bu durumda ic acilar toplaminin ust siniri
3π olmalidir. Boyle bir ucgenin
(0,0,1) kuzey kutup noktasindan cikan iki kenari
(0,0,−1) guney kutup noktasinin cok yakininda bitmeli.