Skorzystamy z Twierdzenia o rozwiązaniach wymiernych: Załóżmy, że w równaniu wielomianowym postaci wszystkie współczynniki są liczbami całkowitymi oraz i . Jeśli