En general, formula_272 forma un grupo cíclico infinito respecto de la adición, y cuyo generador es formula_60.