Eisenstein's criterion #
A proof of a slight generalisation of Eisenstein's criterion for the irreducibility of a polynomial over an integral domain.
f is a non constant polynomial with coefficients in
P is a prime ideal in
then if every coefficient in
R except the leading coefficient is in
the trailing coefficient is not in
P^2 and no non units in