Deje n=pq11pq22pq33…pqnn donde cada una de las pi es una de las principales y menos de n y cada una de las qi≥1.
Estamos obligados a demostrar que n|(n−1)!. Para que esto sea cierto cada pi tiene que estar en la factorización prima de (n−1)! qi tiene que ser menor o igual a la potencia de pi(n−1)!. Ahora, (n−1)!=1⋅2⋅3…(n−1). Desde cada una de las pi 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 qi múltiplos de pi en la representación factorial de (n−1)!. No será exactamente ⌊(n−1)pi⌋ múltiplos de pi en la representación factorial de (n−1)!. Desde ⌊(n−1)pi⌋=npi−1=apqi−1i−1 donde a=npqii≥1. No sé cómo demostrar que este es mayor o igual a qi.