Cyclic quadrilateral
THEOREM
A convex quadrilateral \(ABCD\) is cyclic if and only if its opposite angles are supplementary.
Proof available