Quote:
Originally Posted by lukerichards
I may be missing something here, but why in the definition of Proth ( ) and Reisel ( ) is there the requirement that ?
There are primes which exist when so is it for the purposes of more efficient primality testing?

Otherwise all odd primes would fit both definitions.
The tests that we use to prove them prime rely on these conditions.