Gauss's Lemma on Unique Factorization Domains

Theorem
Let $R$ be a unique factorization domain.

Then the Ring of Polynomial Functions $R[X]$ is a unique factorization domain.