a^n + b^n
= (a+b)[a^(n-1) - a^(n-2)b + ……+ (-1)^k*a^k*b^(n-1-k)+ ……+b^(n-1)]
所以a^n+b^n 能被p 整除
(p是质数这个条件是多余的）