>>336
f(X)=X^4+1がQ[X]で既約であることをアイゼンシュタインの判定法で示す問題があって、
このままではアイゼンシュタインの既約判定法は使えない。
しかしf(X)：既約⇔f(X+１)：既約であるから〜
という風に証明がされているんですが、何か勘違いしてますかね