He encontrado por lo menos otros 3 puestos de$^*$ respecto a este teorema, pero los mensajes no abordar los problemas que tengo.
A continuación es una prueba de que para un número infinito de números primos de la forma $4n+3$, hay un par de preguntas que tengo en la prueba que voy a marcar en consecuencia.
Prueba: Supongamos que hay sólo un número finito de números primos $p_1,\dots, p_k$, los cuales son de la forma $4n+3$. Deje $N = 4p_1\cdots p_k - 1$. Este número es de la forma $4n+3$ y tampoco es privilegiada ya que es más grande de todos los posibles números primos de la misma forma. Por lo tanto, es divisible por un primo $ \color{green}{ \text{(How did they get to this conclusion?)}}$. Sin embargo, ninguno de los $p_1,\dots, p_k$ brecha $N$. Así que cada prime que divide $N$ debe ser de la forma $4n+1$ $ \color{green}{ \text{(Why must it be of this form?)}}$. Pero aviso, cualquiera de los dos números de la forma $4n+1$ formar un producto de la misma forma, lo que contradice la definición de $N$. Contradicción. $\square$
A continuación, como una pregunta de seguimiento, el texto de la pregunta "¿por Qué una prueba de este tipo de errores para los números primos de la forma $4n+1$? $ \color{green}{ \text{(This is my last question.)}}$
$^*$Implica congruencias, que no he aprendido todavía. La otra es una solución de verificación de tipo de pregunta. El último hace uso de un lexema que es en realidad una de mis preguntas, pero no era una pregunta en ese post.