donde formula_28 son proyecciones canónicas, formula_29 es la aplicación identidad y donde las flechas horizontales forman una sucesión de homomorfismos exacta.