We assume that is a Unique Factorisation Domain, in particular is an Integral Domain and hence has a Field of Fractions . Also is a Unique Factorisation Domain since it is an Euclidean Domain (with Euclidean function ). The content of a polynomial for is . We say is primitive if is a unit, i.e. the coefficients are coprime. Gauss’s Lemma