Teorema: Todo grupo abeliano finito "G" es isomorfo a formula_16, donde formula_17 son enteros mayores a 1 que verifican formula_18.