证明:若p=5,显然.
若p≠5,则(10,p)=1
由费马小定理,
10^p=10modp
10^p-1=9modp
因为(p,9)=1
所以(10^p-1)/9=1modp
(10^p-1)/9-1=0modp
即命题成立.