tal que cada formula_418 fuera abeliano.