Twierdzenie o rozwiązaniach całkowitych

Załóżmy, że w równaniu wielomianowym postaci 

$a_n{x}^n+a_{n-1}{x}^{n-1}+\dots +a_{1}x+a_0=0$  

wszystkie współczynniki są liczbami całkowitymi oraz a_n≠0 i a₀≠0. 

Jeśli rozwiązaniem tego równania jest liczba całkowita, to jest ona dzielnikiem wyrazu wolnego a₀.