Proving Vertical Angles Are Transversal