>>667
それは誤りでした。

>>669
そうですね。Ⅲの部分は、(p+1)/2に含まれるpkのうち、pkが2m+1の約数にならなにkが存在する
場合しか否定できないことになると思います。