Theorem about inclusions between Sobolev spaces: if 1≤r≤s<∞ and 1/r − k/n = 1/s − l/n, then Wᵏʳ(ℝⁿ) ⊆ Wˡˢ(ℝⁿ)