Use is_prime_morrison in is_prime.