>>263
>>260でも書きましたが、
上式の左辺の第2項以下はnを含んでいる訳ですから、
nの1つの素因数であるpで割り切れて当然です。
しかし、m^kはnを含んでないじゃないですか？
よって、m^kはpでは割り切れないでしょう？