primes with no guessing