证明:m^p+n^p恒等于0(mod p)，则m^p+n^p恒等于0(mod p^2)，p为奇素数

由费马小定理,m^p同余m模p
所以至信感针亚半孩犯石农m^p+n^p同余m+n模p，即p整除m+n
设n=kp-m，带入m^p+n^p二项式展开即证