Egy gömbháromszög szögei α, β, γ, a velük szemközti oldalívek hossza a, b, illetve c. Igazoljuk, hogy