证明:当X是质数的时候 P(n)=n^x-n 总能被x整除