added the proof of lemma 2.9}
added label for lemma 2.9