Jeżeli wielomian 

$w\left(x\right)=a_n{x}^n+a_{n-1}{x}^{n-1}+\dots +a_{x}1+a_0$  

gdzie  $a_n\ne 0,a_0\ne 0$  

o współczynnikach całkowitych ma pierwiastek wymierny  $x=\frac{p}{q}$   oraz liczby p i q są liczbami całkowitymi względnie pierwszymi, to p jest dzielnikiem wyrazu wolnego a₀, a q jest dzielnikiem współczynnika a_n.