Meyers–Serrin Theorem ($H = W$)