The mean curvature at the first singular time of the mean curvature flow

Consider a family of smooth immersions F(⋅,t):Mn→Rn+1 of closed hypersurfaces in Rn+1 moving by the mean curvature flow , for t∈[0,T). We prove that the mean curvature blows up at the first singular time T if all singularities are of type I. In the case n=2, regardless of the type of a possibly forming singularity, we show that at the first singular time the mean curvature necessarily blows up provided that either the Multiplicity One Conjecture holds or the Gaussian density is less than two. We also establish and give several applications of a local regularity theorem which is a parabolic analogue of Choi–Schoen estimate for minimal submanifolds.