Maximum of a Linear Functional on a Polytope Is Attained at a Vertex