working on lemma 4.5