Twierdzenie o pierwiastkach całkowitych wielomianu

Jeżeli wielomian określony wzorem
    $W(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+\dots +a_{1}x+a_0$
(gdzie $a_n\ne 0$ i $a_0\ne 0$) o współczynnikach całkowitych ma całkowity pierwiastek,
to jest on dzielnikiem wyrazu wolnego $a_0$.