Correct proof of lemma 8