Sea formula_3 cualquier grupo finito abeliano.