Consideremos el polinomio $$P(x)=a_0+a_1x+\cdots+a_nx^n$$ donde $a_0,a_1,\dots,a_n$ son enteros. Supongamos que $p,q$ son enteros tales que $mcd(p,q)=1$ y que $\frac{p}{q}$ es una raíz de $P(x)$, entonces $p$ divide a $a_0$ y $q$ divide a $a_n$.