若p为质数,则2^p-2能被p整除