THEOREM    A convex quadrilateral $$ABCD$$ is cyclic if and only if its opposite angles are supplementary.