>>834-835
仮定と結論を取り違えるなど、意味不明なことを書いて情報操作をしているが
bがpr^qrで割り切られるとき
2m+1=wpr^(qr-cr-dr)
となる
のだから
qrを→qr+erと置き換えてみれば
bがpr^(qr+er)で割り切られるとき
2m+1=w*pr^er×pr^(qr-cr-dr)
となるわけであり、これは証明から必要十分条件であるから
wがprを含む場合には、不適だということがいえる