Content of Rational Polynomial is Multiplicative

Rational polynomials
Let $h \in \Q \sqbrk X$ be a polynomial with rational coefficients.

Let $c_h = \cont h$ denote the content of $h$.

Then for any polynomials $f, g \in \Q \sqbrk X$ with rational coefficients:
 * $\cont {f g} = \cont f \cont g$

Dedekind domain
Let $R$ be a Dedekind domain.

Let $f, g \in R \sqbrk X$ be polynomials.

Let $\cont f$ denote the content of $f$.

Then $\cont {f g} = \cont f \cont g$ is the product of $\cont f$ and $\cont g$.

Proof
Let $\tilde f = c_f^{-1} f$, $\tilde g = c_g^{-1} g$

By Content of Scalar Multiple:
 * $c_{\tilde f} = c_{\tilde g} = 1$

That is, $\tilde f$ and $\tilde g$ are primitive.

By Gauss's Lemma on Primitive Polynomials, it follows that $\tilde f \tilde g$ is primitive.

Now,