言い直しておくか。

pt が (p+1)/2 の素因数でない場合について、
命題「2m+1が素因数ptを含む」は真であるとも偽であるとも論文中で示されていない。