>>416

2 * (x + 1) は Q[x] の既約な多項式ですが、 Z[x] の素元ではありません。