lemma 2 done