Teorema: Todo grupo abeliano finito "G" es isomorfo a formula_8, donde formula_9 son números primos y formula_10.