vertical angles theorem example