Added lemma.