Added stars to sigmas
Completed proof of short exact sequence
Did a few minor to do notes