[Lemma 9[3].png]