>>524
prは素因子と定義してるので(p+1)/2が素数でない場合です。
つまり論文IIの(p+1)/2が素数でない場合です。
その場合成立しますか?