あと1点じゃないよな
＞2m+1=wpr^(qr-cr-1)…⑪
2m+1 が pr^(qr-cr-1) の倍数という結果（この主張が正しいかどうかは不明だが）は pr=(p+1)/2 の仮定から示されたものだから、
k=r以外のpkには当てはまらない。にもかかわらず
＞式⑪から、任意のkに対してbがpk^qkで割り切れるためにはwを奇数として
＞2m+1=wΠ{k=1..r}pk^(qk-ck-1)
としているが、こんな乱暴な結論は導けない。