Since R is a subring of R[X], for the latter to be a domain it is of course necessary that R be a domain.