In a variation of Euclid's proof of the infinitude of primes, a mathematician defines a number $M = 4(p_1 p_2 \cdots p_k) - 1$, where $p_1, p_2, \dots, p_k$ are all known odd primes. Which of the following statements must be true regarding the prime factors of $M$?