Vertical angles and congruence