1: \begin{proof}

2: We define 

3: \begin{equation*} \label{}

4: \mathcal{H}_r(x)

5: := C \sup_{u \in \A_1\left(\Phi_{x,r}\right)} \left| \int_{\Phi_{x,r}} \left( \a-\ahom\right)\nabla u \right|.

6: \end{equation*}

7: By Lemma~\ref{l.commutator}, we see that~\eqref{e.Hrbound} is satisfied. Fix $u\in \A_1$, $\psi\in H^1_c(\Rd)$ and compute

8: \begin{align*} \label{}

9: \lefteqn{

10: \left| \int_{\Rd} \nabla \psi(x) \cdot \ahom \nabla \left( u\ast \Phi_r \right)(x) \,dx \right|

11: } \qquad & \\

12: & = \left| \int_{\Rd} \nabla \psi(x) \cdot \left( \int_{\Phi_{x,r}} \ahom \nabla u \right)\,dx \right|

13: \\ &

14: \leq \left| \int_{\Rd} \nabla \psi(x) \cdot \left( \int_{\Phi_{x,r}} \a \nabla u \right)\,dx \right| +  \int_{\Rd} \left| \nabla \psi(x) \right| \left\| \nabla u \right\|_{L^2(\Phi_{x,r})} \mathcal{H}_r(x)\,dx

15: \\ & 

16: =  \left| \int_{\Rd} \nabla \left( \psi \ast \Phi_{r} \right) (x) \cdot \a(x) \nabla u(x) \,dx \right| +  \int_{\Rd} \left| \nabla \psi(x) \right| \left\| \nabla u \right\|_{L^2(\Phi_{x,r})} \mathcal{H}_r(x)\,dx.

17: \end{align*}

18: The first term on the last line is zero, by the equation. To make the integration by parts rigorous, we observe that $\psi \ast \Phi_r$ decays faster than any polynomial at infinity and $u$ has at most linear growth. This completes the proof of the lemma. 

19: \end{proof}

20: