m^k + c[1]・m^[k-1]・n + c[2]・m^[k-2]・n^2 + ... + c[k]・n^k = 0
という式はmがpで割り切れることを示してんだよ
だからmがpで割り切れるって書いてるわけだ