Add theorem, proposition, lemma and corollary environments
Inclued hyperref labelling of proposition, lemma and corollary
Change subsection labelling in hyperref from 'subsection' to 'Section'