improve lemma