El siguiente es de mi número de la teoría de los libros de texto..
En particular, existe un entero $c$ tal que hay infinitamente muchas soluciones a la ecuación de $x^2 - dy^2 = c$. Dado que sólo hay un número finito de clases modulo $c$, incluso existen infinidad de pares de soluciones congruentes modulo $c$.
¿Por qué la segunda frase verdad? No es muy claro para mí...