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