Entonces existe un único homomorfismo formula_486 tal que formula_487, donde formula_488 es la proyección canónica.