Compactness from bounded support and an H2 bound

A sequence bounded in $H^2({\mathbb{R}}^n)$ whose members are supported in one bounded set has a subsequence converging strongly in $H^1({\mathbb{R}}^n)$. Apply Rellich compactness simultaneously to the functions and their first derivatives.