 De Giorgi-Nash-Moser theorem

If $u\in W^{1,2}(B_1)$ weakly solves $D_i(a^{ij}{D}_{j}u)=0$ with bounded measurable uniformly elliptic coefficients, then $u$ is locally Hölder continuous. For $0<\theta <1$, some $\alpha \in (0,1)$ and $C$ depending only on the dimension, ellipticity bounds, and $\theta$ satisfy