Some missing lemmas

I wrote some lemmas that might be useful (at least some of them). It would be great to include them!