Escribir $n=p_1p_2\cdots p_k$, donde el $p_i$ es de los primeros (no podrían ser algunas de las repeticiones). A continuación,$n^3=p_1^3p_2^3\cdots p_k^3$. Si $18=3^2\cdot 2$ divide $n^3$, entonces al menos uno de los $p_i$ es igual a $3$ y uno es igual a $2$, por lo que la reordenación asumimos $p_1=2$$p_2=3$. Pero, a continuación, $n^2=p_1^2p_2^3\cdots p_k^2=2\cdot 18 p_3^2\cdots p_k^2$ es divisible por $18$.
Usted puede generalizar esto para probar el hecho siguiente: Supongamos que $m$ $n$ $k$ tal forma que:
- los poderes de los distintos números primos que aparecen en el primer descomposición de $m$ están todos en la mayoría de los $k$;
- $m$ divide $n^l$ algunos $l\geq k$.
A continuación, $m$ divide $n^k$.