finished lemma 6.4