show lemma