Lemma 12.17