Show that a polytope can be defined alternatively as
• The convex hull of a finite set of points
• A nonempty compact polyhedral set
That is, show the equivalence of these two definitions.