put lemma in comment