Se comprueba sin dificultad que formula_20 es un grupo abeliano.