Euclid's proof of the infinitude of primes involves constructing a number $Q = (p_1 p_2 \dots p_n) + 1$. What does this construction directly imply?