add is_prime and next_prime
add gcd