(mathematics) The proposition that a polynomial with integer coefficients is irreducible in the field of rational numbers if there is a prime p that does not divide the coefficient of xnbut divides all the other coefficients, and if p2 does not divide the coefficient of x0.