added lemma 3.6