Así, formula_36 tiene estructura de un grupo abeliano.