Analogue Formula for Spherical Law of Cosines/Proof 1