Proving Theorem 3-1

Show that when a pair of parallel lines are cut by a transversal, alternate interior angles are congruent.