Add theorem environment 'corollary'.
Start 'lie's theorem'
Add remark on smoothness.
Spelling corrections.