>>524
b=c(p+1)((p^(n-1)+p^n(n-3)++…+1)/2となるから、bは必ず(p+1)/2を因数に持つわけ
それで、(p+1)/2を素数の場合と合成数の場合に分けるとそれで尽きていて、bはp1〜prを
因数に持つわけだから、(p+1)/2が素数だった場合にはp1からprのどれかになるということ。