proved lemma 2.9