Sea formula_1 un grupo abeliano tal que formula_86.