Finite Convex Hulls Are Polytopes