The product contains the factor \(7\), so it is a multiple of \(7\) and adding \(1\) leaves remainder \(1\). The option giving 0 would mean \(7\) divides the number, which is false.
The infinitude of primes is Euclid's theorem stating that the set of prime numbers is infinite: given any finite list of primes \(p_1,\dots,p_n\), there is a prime not on it.
\[p\mid p_1p_2\cdots p_n+1\ \Longrightarrow\ p\neq p_i\ \text{for all } i\]