added lemma 3.3