Added new statement of main theorem

Added a new statement of the theorem that states the short exact sequence doesn't split.
Commented out (but left in) old statement and proof.
Added comment before theorem.
Commented out comment regarding composing tau with hyperelliptic involution
Started proof of main theorem