 Solution

On a relatively compact ball, mollification commutes with the Laplacian, so $u_{\epsilon }=u\ast {\eta }_{\epsilon }$ is a smooth harmonic function. Repeated interior derivative estimates, together with the Caccioppoli inequality, bound every derivative of $u_{\epsilon }$ on a smaller ball by the local $L^2$ norm of $u$, uniformly as $\epsilon \downarrow 0$. The Arzela-Ascoli theorem and a diagonal argument give a smooth local limit, while mollification gives $u_{\epsilon }\to u$ in $L_{\mathrm{loc}}^2$. Thus the limit equals $u$ almost everywhere. After choosing this smooth representative, $u$ is harmonic pointwise. This is the Weyl lemma for an $H^1$ weak solution.