RNT2.6.2. Критерий Эйзенштейна

Теория колец: Продолжая лемму Гаусса, мы доказываем критерий неприводимости Эйзенштейна и то, что R UFD подразумевает R[x] UFD. В качестве примера критерия неприводимости мы показываем, что f(x) = x^4+x^3+x^2+x+1 неприводима над целыми числами с помощью подстановки.