Let be measurable bounded subsets of . Then there exists an -dimensional hyperplane which divides each into two subsets of equal measure.

This theorem has such a colorful name because in the case it can be viewed as cutting a ham sandwich in half. For example, and could be two pieces of bread and a piece of ham. According to this theorem it is possible to make one cut to simultaneously cut all three objects exactly in half.