supporting hyperplane theorem