Giả sử x=x0 là một nghiệm nguyên của f(x).
Ta có: f(x0)=anx0n+an−1x0n−1+...+anx0+a0=0
Trong đẳng thức này, các số hạng của tổng là anx0n,an−1x0n−1,...,a1 đều chia hết cho x0.
Vậy a0 cũng phải chia hết cho x0 hay x0 là một ước của a0.
