added lemma 2.10
proved part of lemma 2.10