Entonces existe un único homomorfismo formula_71 tal que formula_72, donde formula_73 es la proyección canónica.