In the figure, p || q. You must prove that ∠4 is supplementary to ∠7. What is the reason for the highlighted statement in the proof?

Substitution Property of Equality

For parallel lines cut by a transversal, corresponding angles are congruent.

Congruent Supplements Theorem

Vertical Angles Theorem