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