Lemma REF  implies Theorem REF  by a straightforward iteration argument since by Brakke's regularity theorem [1]}, [2]}, if \((M^{\prime }) \le 1\)  then \((M^{\prime }) = -\infty \)  implying that \(\operatorname{sing}\mathcal {M}^{\prime } = \operatorname{sing}_{\textrm {gen}}\mathcal {M}^{\prime }\)  for all \(\mathcal {M}^{\prime }\in \mathfrak {F}(M^{\prime })\) .
