El cuerpo primo de formula_4 es fijo para cada automorfismo de formula_4.