Used mpz_probab_prime_p (p, 10) from GMP lib to verify

To be completed...