short_exact_sequence