In proving that there are infinitely many primes, we assume there is a finite set of all primes $\{p_1, p_2, \dots, p_n\}$. We then consider the number $P = (p_1 p_2 \dots p_n) + 1$. If $P$ is not prime itself, what must be true about its prime factors?