proved lemma 3.6