Cho `f(x)=a_nx^n+...+a_1x+a_0` là một đa thức hệ số nguyên thỏa mãn `a_n` không chia hết cho một số nguyên tố `p`,trong khi `a_0,a_1,...,a_(n-1)` chia hết cho `p` và `a_0` không chia hết cho `p^2`.Chứng minh rằng `f` bất khả quy trên `Z`
(Tiêu chuẩn Eisenstein)