$n\gt 1$ herhangi bir tamsayı, $p_{i}$'ler farklı asallar ve $k_{i}$'ler pozitif tamsayılar olmak üzere;
$$n=p_{1}^{k_1}p_{2}^{k_2}\dots p_{t}^{k_t}$$
olacak şekilde bir tek ayrışıma sahip olduğunu Jordan-Hölder teoremi yardımıyla ispat ediniz.
Not: Bu teoremin ispatı için başka teknikler varsa (tümevarım dışında) paylaşırsanız sevinirim.