La segunda condición equivale a decir que el morfismo de Frobenius de "F", formula_1, es un automorfismo.