>>770-771
回答ありがとうございます。
実は
素数p 自然数m,nについて
(m+n)^p≡m^p+n^p mod p
を使ってm^p≡m mod p を示せって言う問題だったんですが。
770-771さんの証明も考えてみます。