Exercise 7, § 5

In a Hausdorff locally convex space $E$, let $A$ be a complete, convex set and let $B$ be a precompact closed convex set such that $A \cap B = \varnothing$. Show that there exists a closed hyperplane separating A from B (argue in the completion $\hat{E}$). Consider the case when A is finite dimensional.