Si "n" ≥ 2, el grupo formula_7 no es grupo abeliano.