Assume that Hf c is a supporting hyperplane to a set S at x0. Show that either x0 maximizes f or x0 minimizes f on the set S.
As the illustrations in figure 3.16 suggest, the fundamental requirement for separation is convexity. This is the content of following basic separation theorem, whose proof is developed in the next section.