Para mostrar ello, observe primero que 16=2, por lo que las formas de descomponer 16 como producto de naturales mayores a 1 son (a menos de orden): formula_12.Por ende un grupo abeliano con 16 elementos es isomorfo a uno y sólo uno de los siguientes: formula_13.