In the figure, r s.
∠2 ≅ ∠ because they are corresponding angles of parallel lines cut by a transversal. ∠5 ≅ ∠ by the Vertical Angles Theorem.
