Split up main proof

Moved the two statements that were contained and proved in the main theorem in to separate statement.
Edited last proof in Hurwitz section!
Merge branch 'master' of https://github.com/joetait/tex