added lemma 7.17
added lemma 7.17