G.GCO.8a: Vertical angles are congruent.