If a transversal intersects two parallel lines, then alternate interior angles are congruent. If a transversal intersects two parallel lines, then same-side interior angles are supplementary. ... If two lines and a transversal form corresponding angles that are congruent, then the two lines are parallel.
