El argumento es un buen uno. Nadie puede reemplazar a la apelación del Teorema de Dirichlet por un argumento que utiliza hechos sobre las congruencias de segundo grado que se demuestran en la mayoría de los cursos introductorios.
Vamos a mostrar que hay una infinidad de números primos de la forma $8k+7$. Deje $q_1,q_2,\dots,q_n$ ser primos de esta forma. Nos muestran que hay un primer $p$ es de esta forma que es diferente de todos los $q_i$.
Deje $N=(q_1q_2\cdots q_n)^2-2$. Si $q$ es un divisor primo de $N$, entonces la congruencia $x^2\equiv 2\pmod{q}$ tiene una solución $q_1q_2\cdots q_n$. Desde $N$ es extraño, por un resultado estándar debemos tener $q\equiv \pm 1\pmod{8}$. Pero no todos los primos divisores de $N$ puede ser de la forma $8k+1$, otra cosa $N$ sería de esa forma. Pero no lo es.
Por lo tanto $N$ tiene un divisor primo $p$ de la forma $8k+7$. Está claro que $p$ no puede ser ninguna de las $q_i$.