Nótese que si formula_13, entonces formula_14, por lo que formula_15, así que formula_16 y el homomorfismo formula_8 está bien definido.