Linear Functionals Attain Minima at Extreme Points of Compact Polytopes