adding some lemmas