(n+1)^k-1=n! $$
k=0 $$ n a po, de solutions.
k#0 $$ implique n est paire
n!=2..(n/2).n implique n² devise n!
c a d n² devise (n+1)^k-1=n.sum{(n+1)^i} i variant de 0 a k-1.
passons au modulo n :
sum{(n+1)^i} i variant de 0 a k-1=0[n]
implique k=0[n] donc n devise k
alors k sup a n et (n+1)^k sup a (n+1)^n sup a n!+2 sup a n!+1
po de solution alors.