Some missing lemmas

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

mentioned in merge request !71 (merged)

closed