New: lemma