この問題を一言で表すと
ℤ[X]/(P)はℤ上整である
ということだ
だからもう少し環論的な証明があるかもしれない