>>31
2m+1がpr^(qr - cr -1)で割り切れる…(※)

の導出に

p = 2pr -1…(＊)

を利用しています。
論文中ではそれを明示してないだけです。
明示していようが、いまいが、使って導出してるのだから(※)を利用するなら(＊)が成り立っているprでなければダメです。
たしかに b がpi^qiで割り切れるのは他のiでも成立してますが、そのことだけを用いて(※)を導出できていません。