UFD Property of Polynomial Ring

Let be a UFD then

Polynomial Ring is also a UFD

Generally if is a UFD then

which is the ring of polynomials in variables with coefficients in is also a UFD