à propos des nombres des nombres de Fermat

soit a >1et n>0 montrer que si a^n+1 est premier alors n est une puissance de deux

par absurde supposons qu'il n'est pas une puissance de deux alors il existe un nombre premier impair p qui divise n ainsi il existe k tel que n=pk alors a^n+1=(a^k)^p+1 .Contradiction

merci. c'est en effet ce que j'ai trouvé ailleurs mais je ne comprends pas pourquoi la négation de il est une puissance de deux et qu'il est un multiple d'un nombre impair parce que sinon il serait un multiple que de nombres pairs donc une puissance de 2?