next_prime_number implemented