Fix bundle. Proof that any list of points is contained in some half-plane (and so for any polygon.)