Ring of Polynomial Forms is Integral Domain

Theorem
Let $\left({R, +, \circ}\right)$ be a commutative ring with unity.

Let $\left({D, +, \circ}\right)$ be an integral subdomain of $R$.

Let $X \in R$ be transcencent over $D$.

Let $D \left[{X}\right]$ be the ring of polynomials in $X$ over $D$.

Then $D \left[{X}\right]$ is an integral domain.

Proof
By Ring of Polynomial Forms is Ring we know that $D \left[{X}\right]$ is a commutative ring with unity.

Let neither $\displaystyle f \left({X}\right) = \sum_{k \mathop = 0}^n a_k x^k$ nor $\displaystyle g \left({X}\right) = \sum_{k \mathop = 0}^m b_k X^k$ be the null polynomial.

Then their leading coefficients $a_n$ and $b_m$ are non-zero.

Therefore, as $D$ is an integral domain and $a_n, b_m \in D$, so is their product $a_n b_m$.

By the definition of polynomial multiplication, it follows that $f g$ is not the null polynomial.

It follows that $D \left[{X}\right]$ has no proper zero divisors.

Hence $D \left[{X}\right]$ is an integral domain.