Hahn-Banach separation theorem

A point outside a nonempty closed convex subset of a normed space can be strictly separated from it by the real part of a bounded linear functional.