Deje $n = p_1^{q_1}p_2^{q_2}p_3^{q_3}\dots p_n^{q_n}$ donde cada una de las $p_i$ es una de las principales y menos de $n$ y cada una de las $q_i \geq 1$.
Estamos obligados a demostrar que $n |(n-1)!$. Para que esto sea cierto cada $p_i$ tiene que estar en la factorización prima de $(n-1)!$ $q_i$ tiene que ser menor o igual a la potencia de $p_i$$(n-1)!$. Ahora, $(n-1)! = 1\cdot 2\cdot3 \dots (n-1)$. Desde cada una de las $p_i$ es de menos de $n$ tiene que venir al menos una vez en la representación factorial.
Ahora, queda demostrado que hay mayor o igual a $q_i$ múltiplos de $p_i$ en la representación factorial de $(n-1)!$. No será exactamente $\left \lfloor{\frac{(n-1)}{p_i}}\right \rfloor $ múltiplos de $p_i$ en la representación factorial de $(n-1)!$. Desde $\left \lfloor{\frac{(n-1)}{p_i}}\right \rfloor = \frac{n}{p_i} - 1 = ap_i^{q_i - 1} - 1$ donde $a = \frac{n}{p_i^{q_i}} \geq 1$. No sé cómo demostrar que este es mayor o igual a $q_i$.