The opposite angles of a cyclic quadrilateral are supplementary