Lemma 9