a) Mostrar que si $a,b \in \mathbb{N}$ tienen restos en el conjunto ${1,4}$ después de la división por $5$, entonces también lo hace su producto.
b)Demostrar que existen infinitos números primos que tienen restos de $2$ o $3$ cuando se divide por $5$.
Sugerencia: Imitar a la prueba del Teorema de Euclides mediante la formación de un producto que involucran números primos (cada uno con el resto $1$ o $4$) y, posiblemente, algo más, de modo que cuando vamos a agregar, por ejemplo, $2$, obtenemos un número $N$ resto $2$ después de la división por $5$. A continuación, aplicar la parte a).
Lo que he intentado:
Deje $a$ ser igual al producto de dos primos $p_1 \text{ and } p_2$, de tal manera que $p_1p_2$ es divisible por 5. Que es:
$a=p_1p_2$
Si añadimos $1$ a el lado derecho de la ecuación, vamos a conseguir que $a$ es divisible por $5$, con un resto de $1$:
$a=p_1p_2 + 1$
Del mismo modo, si dejamos $b$ igual al producto de dos primos con un resto de $4$, tenemos:
$b=p_3p_4 + 4$
Ahora supongamos que nos vamos a $c$ igual al producto de $a$$b$, obtenemos:
$c= p_1p_2p_3p_4 + 4p_1p_2 + p_4p_3 + 4$
Desde $5 \mid p_1p_2$$5 \mid p_3p_4$, sabemos que $5 \mid p_1p_2p_3p_4$.
Del mismo modo, sabemos que $5 \mid 4p_1p_2$ y que ya ha dado que $5 \mid p_3p_4$.
Puesto que todos los términos que son producto de los números primos son divisibles por $5$, nos hemos quedado con el resto de $4$, que es, de hecho, en el conjunto de $\{1,4\}$
¿Esto tiene sentido? Estoy haciendo suposiciones aquí que no debería de ser?