Proved Lemma 6.10.