ϕ induce un isomorfismo algebraico entre Tras(n) y el subgrupo formula_13 =