1: \begin{proof}
2: We argue formally, noting that the computations can easily be made rigorous with standard arguments.
3: Computing the time evolution of the second moment,
4: \begin{equation*}
5: \frac{d}{dt}\mathcal{M}_2(t) = 2d\int A(u) dx + \int\int u(x)u(y)(x-y)\cdot\grad \K(x-y) dx dy.
6: \end{equation*}
7: By \textbf{(D1)} and \textbf{(D3)} of Definition \ref{def:admDiff}, and criticality in the sense of Definition \ref{def:criticality}, we necessarily have $A^\prime(z) \lesssim 1$, and hence $\int A(u) dx \lesssim M$.
8: By Definition \ref{def:admK} and $m^\star = 1$ we have,
9: \begin{equation*}
10: \abs{(x-y)\cdot \grad \K(x-y)} \leq C.
11: \end{equation*}
12: Therefore by integration, the lemma follows.
13: \end{proof}