en vie de raisonner par absurde ??

soient ( n;p) appartient a N² tels que p>1
Montrez par asburde que
si" p" divise" n" " p" ne divise po (n+1)

on suppose que p divise n et p divise n+1

alors n=pk et n+1=pl ( l et k appartiennent à N)

donc: pk=pl-1 <=> p(l-k)=1 <=> p=1 et l=k <=> p=1 et n=n+1 contradiction

p>1

conclusion :pour tous (n;p) appartient a N² tels que p>1: p divise n => p ne divise pas n+1