>>527
(p+1)/2が素数の場合は、例えば
(p+1)/2=pr
となるわけだから依存する。これ以上はよく読んでもらえば分かる

>>528
p=pkなんて一言も書いていないだろ
pはp1からprと異なる奇素数だと定義しているか