* Lemma.