 Another theorem that he establishes is that the sum of the angles of a spherical triangle is greater than 180°.Book II of "Sphaerica" applies spherical geometry to astronomy.And Book III contains the "theorem of Menelaus".