 A polynomial ring over a field is a unique factorization domain.The same is true for a polynomial ring over a unique factorization domain.To prove this, it suffices to consider the univariate case, as the general case may be deduced by a recurrence on the number of indeterminates.