Let f∈R be irreducible. If degf=0, then f∈Z. A nonzero integer that is neither a unit nor, up tosign, a prime number factors nontrivially in R, so necessarily f=±p for a prime p.
Now suppose degf≥1 and write m=f(0)∈Z. If m=0, then
and both factors lie in R and are nonunits. If ∣m∣>1, choose a prime p∣m; then f=p(f/p) is again afactorization into two nonunits of R, since (f/p)(0)=m/p∈Z. Both cases contradict irreducibility. Hence