Bauer's theorem guarantees infinitely many prime divisors not congruent to 1 modulo for an integer polynomial
with a real root. Let
be an integer and let
be an integer polynomial that has at least one real root. Then
has infinitely many prime divisors that are not
congruent to 1 (mod
)
(Nagell 1951, p. 168).