Ultimate fate of the universe eventually stops the expansion of the universe, after which it starts to contract until all matter in the universe collapses to a point, a final singularity termed the "Big Crunch", the opposite of the Big Bang. Some new modern theories assume the universe may have a significant amount of dark energy, whose repulsive force may be sufficient to cause the expansion of the universe to continue forever—even if formula_5. If formula_7, the geometry of space is open, i.e., negatively curved like the surface of a saddle. The angles of a triangle sum to less than 180 degrees, and lines that
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.