Entonces formula_376 es un subgrupo del grupo formula_359 de los automorfismos de formula_4.