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