proof of lemma 1