Spontaneous atomicity for polynomial rings with zero-divisors

In this paper, we show that it is possible for a commutative ring with identity to be non-atomic (that is, there exist nonzero nonunits that cannot be factored into irreducibles) and yet have a strongly atomic polynomial extension. In particular, we produce a commutative ring with identity, R, that is antimatter (that is, R has no irreducibles whatsoever) such that R[t] is strongly atomic. What is more, given any nonzero nonunit f(t)∈R[t] then there is a factorization of f(t) into irreducibles of length no more than deg(f(t))+2.