completed proof of lemma 1