译文:The first nonzero binomial term has exactly p p p 译文:-adic order two.
F或 n=p n=p n=p, binomial expansi上gives (p−1)p+1=(−1+p)p+1=p2+a multiple of p3(p-1)^p+1=(-1+p)^p+1=p^2+\text{a multiple of }p^3(p−1)p+1=(−1+p)p+1=p2+a multiple of p3. F或 p>3 p>3p>3, divisibility 由 pp−1 p^{p-1}pp−1 would imply divisibility 由 p3 p^3p3 译文:, contradiction.