Proof.
The proof is similar to the proof of Euclid's Theorem, but, for variety,
I will explain it in a slightly different way.
Suppose
are primes of the form . Consider
the number
Then
for any
. Moreover, not every prime
is
of the form
; if they all were, then
would also be of the
form
, which it is not.
Thus there is a
that is of the form
. Since
for any
, we have found another prime of the form
. We can repeat
this process indefinitely, so the set of primes of the form
is infinite.
Example 2.2
Set
,
. Then
is a prime of the form
.
Next
which is a again a prime of the form
.
Again:
This time
is a prime, but it is of the form
.
However,
is prime and
.
We are unstoppable
This time the small prime,
, is of the form
and the large
one is of the form
.
Etc!