Así, formula_43 es un grupo abeliano.