Proof of Key Equation for Right Angled Spherical Triangles