Pero el teorema de Jordan-Hölder afirma que una serie de composición es única, y por lo tanto la factorización de "n" debe ser única.