new function: n_is_big_sureprime()