Added proof of Lemma 5.2