changing lemma 10