Added small amount to proof of short exact sequence