Added Lemma 4.6