>>671 訂正
pkが2m+1の約数にならないkが存在する場合しか否定できない