Title: Elements of spherical trigonometry