>>265
右辺がpで割り切れるんだから左辺もpで割り切れる
さらに左辺のm^k以外がpで割り切れるんだからm^kもpで割り切れる
ってことだ