Leading Coefficient of Product of Polynomials over Integral Domain

Theorem
Let $R$ be an integral domain.

Let $f, g \in R[x]$ be polynomials.

Let $c$ and $d$ be their leading coefficients.

Then $fg$ has leading coefficient $cd$.