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 also a unique factorization domain.

Proof
Since a UFD is Noetherian, and a Noetherian Domain is UFD if every irreducible element is prime, it is sufficient to prove that every irreducible element of $R \left[{X}\right]$ is prime.

etc,