如果n^x-n可以被x整除,那么x是一个质数