Rellich-Kondrashov compactness theorem for H01

For every bounded open $\Omega \subset {\mathbb{R}}^d$, the inclusion $H_0^1(\Omega )\hookrightarrow L^2(\Omega )$ is compact.