>>254
bは定数、何を論破したのだろうか？

>>255
複数あってもいいわけですよね。

>>256-257,259
だから、それはbの形から、pk=(p+1)/2を満たし、ck<qk-1となるkに対しては
ということだが、その論理を使わなくていい方法が見つかっています。
最新の論文でそれは書いていませんが。