Vertical angles are congruent.
(1) if
(2) then