If a → polynomial with → integer coefficients can be → factorized into polynomials with → rational number coefficients, it can be factorized using only integers.
See also: → Gaussian; → lemma.