Spherical law of sines