Angle Property 3a: Opposite Angles in a Cyclic Quadrilateral are supplementary