set lemma
set lemma