Gauss's Lemma on Unique Factorization Domains

Theorem
Let $R$ be a unique factorization domain.

Then the Ring of Polynomial Functions $R \left[{X}\right]$ is a unique factorization domain.