started proving lemma-2