Sea formula_376 el conjunto formado por todos los automorfismos de formula_4 que dejan fijos cada elemento de formula_361.