Lemma 12.10