Page "Gauss's lemma (polynomial)" Paragraph 20

A cleaner version of this proof can be given using the statement from abstract algebra that a polynomial ring over an integral domain is again an integral domain.

We formulate this proof directly for the case of polynomials over a UFD R, which is hardly different from its special case for R = Z.