====== Spherical trigonometry ======