Foundations of geometry and therefore are valid theorems in absolute geometry. Proposition I.31 proves the existence of parallel lines (by construction). Also, the Saccheri–Legendre theorem, which states that the sum of the angles in a triangle is at most 180°, can be proved. The theorems of absolute geometry hold in hyperbolic geometry as well as in Euclidean geometry. Absolute geometry is inconsistent with elliptic geometry: in elliptic geometry there are no parallel lines at all, but in absolute geometry parallel lines do exist. Also, in elliptic geometry, the sum of the angles in any triangle is greater than 180°. Logically, the axioms do
Internal and external angles simple polygon and a line extended from an adjacent side. The interior angle concept can be extended in a consistent way to crossed polygons such as star polygons by using the concept of directed angles. In general, the interior angle sum in degrees of any closed polygon, including crossed (self-intersecting) ones, is then given by 180("n"–2"k")° where "n" is the number of vertices and the non-negative number "k" is the number of total revolutions of 360° one undergoes walking around the perimeter of the polygon. In other words, 360"k"° represents the sum of all the exterior angles. For example, for