Théorie générale du plus grand commun diviseur et du plus petit multiple commun des nombres commensurables
Consider a recurrence sequence of integers satisfying , where are fixed and a₀ ∈ -1,1. Assume that for all sufficiently large k. If there exists k₀∈ ℤ such that then for each negative integer -D there exist infinitely many rational primes q such that for some k ∈ ℕ and (-D/q) = -1.