Vertical Angles Theorem Proof