球面三角形ABCと、その極三角形をA´B´C´を考えたとき、
Aでの内角と辺B´C´の長さの和はπになることを証明せよ。
お願いします。