There is a well-known theorem that a cyclic quadrilateral (its vertices all lie on the same circle) has supplementary opposite angles.
I have a feeling the converse is true, but I don't know how to prove it. The converse states:
If a quadrilateral's opposite angles are supplementary then it is cyclic.
Should I approach this proof by contradiction? Or is it possible to prove by construction?