Sum of angles of a triangle to zero. For a spherical triangle, the sum of the angles is greater than 180° and can be up to 540°. Specifically, the sum of the angles is where "f" is the fraction of the sphere's area which is enclosed by the triangle. Note that spherical geometry does not satisfy several of Euclid's axioms (including the parallel postulate.) Angles between adjacent sides of a triangle are referred to as "interior" angles in Euclidean and other geometries. "Exterior" angles can be also defined, and the Euclidean triangle postulate can be formulated as the exterior angle theorem. One can also consider the
Hyperbolic triangle side with the corresponding letter) is strictly less than a straight angle. The difference between the measure of a straight angle and the sum of the measures of a triangle's angles is called the defect of the triangle. The area of a hyperbolic triangle is equal to its defect multiplied by the square of : This theorem, first proven by Johann Heinrich Lambert, is related to Girard's theorem in spherical geometry. In all the formulas stated below the sides , , and must be measured in absolute length, a unit so that the Gaussian curvature of the plane is −1.