, conditions and use $\liminf$, not limit. We do not assume $u \in L^\infty({{\Omega}})$ nor ${{\nabla}}u \in L^0({{\Omega}})$. The condition $u\in H^0_{{\mathrm{loc}}}({{\Omega}})$ implies $u \in C^\infty_{\mathrm{loc}}(