Assume there are finitely many .

Form .

We know that has an odd prime divisor . If all its prime divisiors were of the form then would be of the form and impossibility. Therefore there is a prime divisor of the form . Thus, and it must be amongst . But that leads to which is a contradiction.