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.