Proper noun
ham sandwich theorem
(mathematics) A theorem stating that, given n measurable "objects" in n-dimensional Euclidean space, it is possible to divide all of them in half (with respect to their measure, i.e. volume) with a single (n−1)-dimensional hyperplane.