Proof

Suppose that f, g are nonzero polynomials in R[X] such that fg = 0. Let m = deg (f) and n = deg (g). Then the corresponding top coefficients f_m and g_n are nonzero, whereas f_mg_n = 0, contradicting the fact that R is a domain.