some more useful lemmas