Fix typos
Fix punctuation
Fix typo
Fix typos
Fix typo
Fix typo
Fix typo
Merge pull request #16 from ericguirbal/proof

Fix some typos