update theorem lemma

update theorem lemma