In Euclid's proof of the infinitude of primes, we assume there is a finite list of primes $p_1, p_2, \dots, p_k$. If we construct the number $M = (p_1 \times p_2 \times \dots \times p_k) - 1$, which of the following statements must be true?