Ilmanen's Lemma on Insertion of C${}^{1,1}$ Functions

We give a proof of Ilmanen’s lemma, which asserts that between a locally semi-convex and a locally semi-concave function it is possible to find a C${}^{1,1}$ function.