Hyperplane separation theorem
In geometry, the hyperplane separation theorem is a theorem about disjoint convex sets in n-dimensional Euclidean space. There are several rather similar versions.
Source: Wikipedia — Hyperplane separation theorem (CC BY-SA 4.0)