Which of the following correctly justifies statement 4 of the two-column proof?

Lines JK and LM are intersected by transversal JL; the intersection of JK and JL creates angles 2, 4, 3, and 1 clockwise beginning at the top right; the intersection of LM and JL creates angles 6, 8, 7, and 5 clockwise beginning at the top right.

Given: line JK is parallel to line LM

Prove: ∠2 ≅ ∠7

Statement Justification
1. line JK is parallel to line LM 1. Given
2. ∠6 ≅ ∠7 2.
3. ∠2 ≅ ∠6 3.
4. ∠2 ≅ ∠7 4.
Corresponding Angles Theorem
Transitive Property of Equality
Vertical Angles Theorem
Substitution Property of Equality