Twierdzenie o pierwiastkach całkowitych wielomianu

Jeżeli wielomian określony wzorem $W\left(x\right)=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$.

Twierdzenie Bézouta

Liczba $a$ jest pierwiastkiem wielomianu $W$ wtedy i tylko wtedy, gdy wielomian $W$ jest podzielny przez dwumian $x-a$.