fermat_test add