Remark

Let d = X² + 1 Z[X]. Then 2X + (d) has no inverse in Z[X]/(d). So the condition of the theorem that R is a field is necessary.