 An irreducible element in is either an irreducible element in or an irreducible primitive polynomial.If is in and divides a product formula_14 of two polynomials, then it divides the content formula_15 Thus, by Euclid's lemma in , it divides one of the contents, and therefore one of the polynomials.If is not , it is a primitive polynomial (because it is irreducible).