Giả sử \(x = {x_0}\) là một nghiệm nguyên của f(x).
Ta có: \(f({x_0}) = {a_n}x_0^n + {a_{n - 1}}x_0^{n - 1} + ... + {a_n}{x_0} + {a_0} = 0\)
Trong đẳng thức này, các số hạng của tổng là \({a_n}x_0^n,{a_{n - 1}}x_0^{n - 1},...,{a_1}\) đều chia hết cho \({x_0}.\)
Vậy \({a_0} \) cũng phải chia hết cho \( {x_0}\) hay \({x_0}\) là một ước của \({a_0}.\)