El siguiente resultado nos indica que los anteriores forman la estructura básica de todos los conjuntos abelianos finitos.