When a line cuts two parallels, pairs of angles are created with precise relations. These relations — alternate interior, alternate exterior, co-interior, corresponding — are the key to proving properties of triangles and quadrilaterals. Their first great application is computing the sum of the interior angles of a triangle.