Opposite angles in a cyclic quadrilateral