188 Axel Thue. 
ovenstaaende ligning (IIT), at summmen af vinklerne i hver 
af de a triangler er lig 2R. Men heraf følger igjen rigtig- 
heden af det Euklidiske postulatum, hvoraf man, som før er 
vist, kommer til vort theorems nødvendighed. 
Da man vilde have kommet til denne ligning (IIT), uan- 
seet om man havde betragtet plane eller sfæriske triangler, 
saa er herved med det samme godtgjort rigtigheden af vor 
paastand for kuglearealets vedkommende. = 
Som man ser, har dette absolute bevis en ganske ser- 
egen form. For nemlig at bevise en sætnings rigtighed, op- 
stilles en anden sætning (det Euklidiske postulatnm), der alt- 
saa enten er rigtig eller urigtig. Hvis denne er rigtig, saa 
følger heraf, den første sætnines rigtighed, og hvis den er 
urigtig, saa følger ogsaa heraf, at den første sætning er rig- 
tig, thi i modsat fald maatte den anden være rigtig. 
