为什么大佬们的代码中二次探测定理部分找到 $a^{d}\equiv -1(\bmod p)$ 后就可以确定通过测试啊。

如这位大佬：

typedef unsigned long long ull;
typedef unsigned int word;
bool check(const word a,const ull p){
	ull d=p-1,get=pow(a,d,p);
	if(get!=1) return 1;//特判 d=p-1 的情况
	while((d&1)^1)
		if(d>>=1,(get=pow(a,d,p))==p-1) return 0;//先 d/=2，再计算快速幂
		else if(get!=1) return 1;
	return 0;
}