A convex quadrilateral is cyclic (inscribed in a circle) if and only if its opposite angles sum up to 180°.

Check this theorem and a proof of its "only if" part experimentally. Find pitfalls in this proof and think up a correct proof using the suggested construction.