Lemma 23.1