>>265
> しかし、m^kはnを含んでないじゃないですか？
> よって、m^kはpでは割り切れないでしょう？
m^k= - c[1]・m^[k-1]・n - c[2]・m^[k-2]・n^2 - ... - c[k]・n^k
右辺はnの倍数。よってpで割り切れる。
したがって、左辺のm^kがpで割り切れるが、pは素数であるから、p=1*pという明らかな分解しかないから
mがpで割り切れないとすると、矛盾。