minoro changes in the paragraph before lemma 4.4