Selfridge primality test