lemma 1