Hahn-Banach separation theorem for two convex sets

If $A$ and $B$ are disjoint nonempty convex subsets of a real locally convex space and $A$ is open, then some continuous linear functional $f$ satisfiesfor all $a\in A$ and $b\in B$.