若 (a,p)不等于1 则由于p为质数 所以p|a,命题成立
若(a,p)=1上述命题等价于 证p|a^(p-1)-1
这就转化为著名的费马小定理
综上结论成立