 100 AD) wrote in three books his "Sphaerica".In Book I, he established a basis for spherical triangles analogous to the Euclidean basis for plane triangles.He establishes a theorem that is without Euclidean analogue, that two spherical triangles are congruent if corresponding angles are equal, but he did not distinguish between congruent and symmetric spherical triangles.