费马小定理,对任意自然a, p 有 a^p≡a (mod p)
因此 (1+n)^p-n^p-1≡n+1-n-1≡0 (mod p)
因此能被p整除