[math-fun] Spherical trig question