>>443
bは必ず(p+1)/2を因数に持ち、(p+1)/2が素数になる場合と合成数になる場合を考慮しているから尽きている