U svakom sfernom trouglu sinusi strana odnose se kao sinusi suprotnih uglova.
Jer neka je
=
i
upravno na
poluprečniku kugle
. Tada će biti
i
(pošto je
)
. Kako je u
trouglovima
,
(po §-u 25):
Kako se iz ovog stava da izvesti celokupna sferna trigonometrije, to je time utvrđena njena nezavisnost od XI-e Euklidove aksiome.