First-order definability of rational integers in a class of polynomial rings

We prove first-order definability of the ground ring of integers inside a polynomial ring with coefficients in a reduced indecomposable (commutative, unital) ring. This extends a result, that has long been known to hold for integral domains, to a wider class of coefficient rings.