 Vertex-isoperimetric inequality in a grid

Among vertex subsets of $[k{]}^d$ with a fixed cardinality, initial segments of the simplicial order on a grid minimize the external vertex boundary.