The sum of opposite angles of a cyclic quadrilateral