>>510 の続き

h(X) ∈ Z[X] とし、各 i = 0, ..., e-1 で Φ_i(h(θ)) = 0 とする。
h(X) は mod p で各 g_i(X) で割れる。よって mod p で f(X) で割れる。
従って、h(X) = f(X) H(X) + pR(X) となる H(X), R(X) ∈ Z[X]
がある。よって、h(θ) ∈ pZ[θ] である。
つまり h(θ) は p で割れる。