Fix , put , and let have the same boundary values as while solving . Then satisfies
Since gives locally, the supplied energy estimate and Hölder continuity of yield
The constant-coefficient decay estimate gives
Thus, for ,
Because , the Campanato iteration lemma gives on balls in . Hence and .