Para quem pediu, aqui vai ...
" Seja f(x) um polinómio de coeficientes inteiros de grau n:
O Critério de Eisenstein, do matemático alemão Gothold Eisenstein, é uma "regra" que permite classificar alguns polinómios com coeficientes inteiros como irredutíveis.
Pelo lema de Gausss, estes polinómios também são irredutíveis sobre os números racionais.
" Seja f(x) um polinómio de coeficientes inteiros de grau n:
- p divide cada ai para i < n;
- p não divide an;
- p2 não divide a0.