added proof of lemma 3.17