updated lemma proof