>>876
は問題として不成立だ。

もしそうするなら、
>>877より、
m^p+1≡1(mod.p)
1≡1
各辺引いて
m^p≡0
∴m≡0

mに条件がついてしまうから、証明しようもない。