Page "Irreducible polynomial" Paragraph 4

Every polynomial in can be factorized into polynomials that are irreducible over F. This factorization is unique up to permutation of the factors and the multiplication of the factors by nonzero constants from F ( because the ring of polynomials over a field is a unique factorization domain whose units are the nonzero constant polynomials ).