isprime rewritten