Added proof of exact sequence