>>825
>bがpr^qrで割り切られるためには、2m+1がpr^(qr-cr-dr)で割り切られなければならないので wにpr^erが含まれる場合には、bがpr^(qr+er)で割り切られることになる

bとwの間に関係はない。

wは14ページで定義されて以来、bとの関係には一切触れられていないし、もちろんprの倍数でない証明もない
>>825のような取って付けた理屈が何故成立するか、納得できる根拠は一切ない