lemma 2 almost done