Prove corollary 3.2.3. Separation theorems are so pervasive in mathematical economics that it is necessary to have

Question:

Prove corollary 3.2.3.
Separation theorems are so pervasive in mathematical economics that it is necessary to have a range of variations in the armory. In the following sections we develop some refinements of the basic separating hyperplane theorem that are useful in applications.