We study properly immersed ancient solutions of the codimension one mean
curvature flow in n-dimensional Euclidean space, and classify the convex
hulls of the subsets of space reached by any such flow. In particular, it
follows that any compact convex ancient mean curvature flow can only have a
slab, a halfspace or all of space as the closure of its set of reach. The proof
proceeds via a bi-halfspace theorem (also known as a wedge theorem) for ancient
solutions derived from a parabolic Omori-Yau maximum principle for ancient mean
curvature flows.Comment: 14 pages; minor edits, added proof details and reference