Correct proof of lemma 3.16