On bounded Lipschitz Ω ⊂ ℝⁿ: embedding Wᵏ'ᵖ(Ω) ↪↪ Lᵠ(Ω) is compact for 1/q > 1/p − k/n. Cornerstone of variational PDE.