Done with a rough version of lemma 7 and lemma 8