The converse alternate exterior angles theorem justifies why lines j and k must be parallel.
The converse alternate exterior angles theorem states that if two lines are cut by a transversal so that alternate exterior angles are congruent, then the lines are parallel.
