Q12 Matemática (KoMaL A Problems 2022)
Seja um polinômio mônico com coeficientes inteiros. Prove que existe uma constante que depende apenas do polinômio tal que para um número primo arbitrário e um inteiro positivo arbitrário a congruência tem no máximo soluções entre quaisquer inteiros consecutivos.