Proving Vertical Angles Are Supplementary