Rellich-Kondrachov ($p>n$ version)