A mathematical theorem that states that any finite set of points in a Euclidean space can be partitioned into two subsets of equal cardinality whose convex hulls intersect.