Normalization Exact Sequence

theorem