Skorzystamy z Twierdzenia o rozwiązaniach całkowitych:

Załóżmy, że w równaniu wielomianowym postaci wszystkie współczynniki są liczbami całkowitymi oraz . Jeśli