Si $r$ y $n$ son dos enteros tales que $\gcd(r, n) = 1$ y $r < n$ ¿Cómo puedo demostrar la existencia de un primo $p$ tal que $p \equiv r \bmod n$ ?
He descubierto que Teorema de Dirichlet sobre las progresiones aritméticas asegura que existe una infinidad de estos primos. Sin embargo, no puedo usarlo exactamente ni tengo las herramientas para demostrarlo.
Entonces, ¿hay alguna forma de demostrar la existencia de dicho primo con matemáticas más sencillas?