The theorem that, given three volumes in Euclidean three-dimensional space, there is at least one plane which bisects all three volumes simltaneously. So a ham sandwich can be sliced into two pieces so that each piece has equal amounts of ham and bread.
