rewrote lemma 3