１２ページの途中から、確かに(p+1)/2が合成数の場合がある。ただ、この素因数はbの素因数からとれる？　p_{s}はp_{1},,,p_{r}のどれかからとれる？


あと整数sと素数p_{*}の添え字のs　同じ意味？　違うなら違う文字使ったほうがいいかも。