Grün's Lemma