(Friedrich lemma) Suppose is a bounded subset with the diameter and . Then

(Poincare inequality) Let be a bounded, connected star-shaped open subset of with boundary and . Then where the constant depends only on and .

(Poincare inequality for a ball) Let . Then where the constant depends only on and .