Progess in the lemma about removed duplicates of intersection with normal