Opposite angles, cyclic quadrilateral