Gilmer-Parker Theorem

Theorem
Let $\struct {\mathbf R, +, *}$ be a GCD Domain.

Let $\mathbf R \sqbrk x$ be a polynomial ring over $\mathbf R$.

Then $\mathbf R \sqbrk x$ is also a GCD Domain.