>>654
よく私が書いた内容を検討してもらうより他にありません。
左辺は整数ですし、右辺第一項も整数です、ですから第二項も整数でなければなりません。

>>655
f(pr)を((2pr-1)^(n+1)-1)/(4pr(pr-1))で割った式はF(pr)pr+2m+1
となります。これがpr^(qr-1)で割れなければならないので
剰余定理から
2m+1がpr^(qr-1)
で割り切られなければらなないとしました。