Lemma的动态