Proof of Spherical Cosine Rule