Supporting hyperplane theorem