finished lemma 4.14