Which construction of parallel lines is justified by the theorem "when two lines are intersected by a transversal and the corresponding angles are congruent the lines are parallel?"