Separating hyperplane theorem

The separating hyperplane theorem says that any two disjoint convex sets are separated by at least one hyperplane.