cleaning up

- remove unused lemmas
- move some lemmas to Utils module