El producto contiene el factor \(7\), así que es múltiplo de \(7\) y al sumar \(1\) el resto es \(1\). La opción que da 0 supondría que \(7\) divide al número, lo cual es falso.
La infinitud de los primos es el teorema de Euclides que afirma que el conjunto de los números primos es infinito: dada cualquier lista finita de primos \(p_1,\dots,p_n\), existe un primo fuera de ella.
\[p\mid p_1p_2\cdots p_n+1\ \Longrightarrow\ p\neq p_i\ \text{para todo } i\]