Sea formula_361 el subconjunto de formula_4 determinado por los elementos de formula_4 que quedan fijos por los automorfismos en formula_359.