some lemma