Lemma 22