Gauss's theorem (UFD ⇒ polynomial ring is UFD)

Gauss’s theorem: If $R$ is a UFD , then the polynomial ring $R[x]$ is a UFD. More generally, $R[x_1,\dots,x_n]$ is a UFD for all $n\ge 1$.