Dessa sferisk-trigonometriska formler äro hittills obekanta.