rename lemma