Vertically opposite angles theorem