Dessa sferisk-trigonomctriska formler ärv hittills vbekanta.