te dis que  q  est multiple de l'ordre de n  dans  (Z/pZ)* .
Le cardinal de (Z/pZ)*  est  p-1 , comme l'ordre d'un élément divise l'ordre du groupe tu as
q  divise  p-1 soit encore  p = 1 + kq

Si p =2 c'est impossible, donc  p  est impair donc  p-1 est pair = kq  si  q  est impair c'est gagné !
Si  q est pair comme il est premier  q=2,
si  q=2 entraîne  p  divise (n-1)(n+1)  donc  p  divise  n+1

si n=2 , p=3 ,q=2 tu as un contre-exemple ! ton résultat est faux si q=2.

lolo