Proof.
Suppose that

are

distinct primes.
We construct a prime

not equal to any of

as follows. If
 |
(1.2.1) |
then by Proposition
1.1.20 there is a factorization
with each

prime and

.
If

for some

, then

.
Because of (
1.2.1), we also have

, so

, which
is a contradiction.
Thus the prime

is not in the list

,
and we have constructed our new prime.