addressing lemma 2