Book I
of this work contains propositions about spherical triangles corresponding to the main propositions of Euclid about plane triangles (e.g. congruence theorems and the proposition that in a spherical triangle the three angles are together greater than two right angles), while