Added proof for Lemma 6.9.