This theorem proves that a [polynomial ring](/page/Polynomial%20Ring) in one variable over an [integral domain](/page/Integral%20Domain) is again an integral domain. The leading coefficient argument explains why products of nonzero polynomials stay nonzero.