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: ∠1 ≅ ∠8

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

The correct justification for statement 4 is the Corresponding Angles Theorem.