Un nombre non premier n'est pas forcément pair, en revanche, un nombre premier est forcément impair (exception faite de 2).
Donc, a^n + 1 est impair ou égal à 2.
Donc, a^n est pair ou égal à 1.
Si a^n est égal à 1, alors, a=1 ou a=-1...on voit déjà que ton prof est un bouseux, il a oublié ce cas :/
Si a^n est pair, alors, a l'est aussi.
En effet, si a n'était pas pair, il s'écrirait 2k+1, or, (2k+1)^n est impair...