 Rellich-Kondrashov compactness theorem for H01

This is the zero-boundary special case of the Rellich-Kondrachov theorem. For every bounded open $\Omega \subset {\mathbb{R}}^d$, the inclusion $H_0^1(\Omega )\hookrightarrow L^2(\Omega )$ is compact.