[math-fun] Spherical geometry puzzle