Proof of Spherical Sine Rule