Added some lemmas.
Merge pull request #125 from kristinas/master

Added some lemmas