Es decir que cada automorfismo de formula_359 queda determinado por la imagen por formula_393 de formula_1.