 Compact embedding of Hölder spaces

On a bounded regular domain, a bounded subset of $C^{k,\alpha }$ is relatively compact in $C^{l,\beta }$ whenever $k+\alpha >l+\beta$. This is an Arzela-Ascoli theorem argument applied successively to the derivatives.