Por el teorema de homomorfismos que hay un isomorfismo de formula_603 con su imagen en formula_4.