finished proof of lemma 3.3