Una sucesión exacta corta es una sucesión formula_6 que es exacta.