Lines m and n are cut by transversal p. Angle 1 is vertical to angle 3, angle 3 corresponds to angle 7, and angle 1 is congruent to angle 7. Which proof path correctly proves m || n?