x P(x) - m = prod_{positive integer k | m} (x - k) g(x) P(x) in Z(x) we know g(x) in Z(x) let x = 0, -m = prod_{positive integer k | m} (-k) * g(0) ==> m must be a prime number