Added to proof of exact sequence lemma