1: \begin{proof}[Proof of Remark~\ref{R:T4}]

2: The difference quotient technique of L.\ Nirenberg yields the desired bound

3: $\|u_{\shom}\|_{H^2(\domain)}\leq C\big(\|f\|_{L^2(\domain)}+\|g\|_{H^1(\domain)}+\|u_{\rm Dir}\|_{H^2(\domain)}\big)$.

4: Note that in this argument in fact no $C^1$ differentiability of $A_\shom$ is required: As the difference quotient technique works with finite differences and not with the formally differentiated PDE $-\nabla \cdot (a_\xi \nabla \partial_i u_\shom)=\partial_i f + \nabla \cdot (\partial_i g)$, there is no need to rigorously justify the formally differentiated PDE.

5: \end{proof}

6: