Let C₁ and C₂ by two nonempty disjoint convex sets in n-dimensional space. Then there exists an n-dimensional hyperplane axv = b, av ≠ 0, that separates them. That is, for xv in C₁, axv ≤ b,v and for xv in C₂, axv ≥ b.v  Hyperplane.