The alternate interior angle theorem states that if two lines are parallel and are interesected by a line, the alternate angles on either side of the interior of the line are congruent. Angles two and three, in the interior, which are not shown, are also congruent and are both supplementary to 1 and 4.
