edited lemma 7.17