Sea formula_359 un subgrupo del grupo de automorfismos de formula_4.