opposite angles, cyclic quadrilateral