>>537
では証明を示してください。

繰り返すが、
「pt が (p+1)/2 の素因数である ⇒ 2m+1 が pt の倍数である」から、直接
「pt が (p+1)/2 の素因数でない ⇒ 2m+1 が pt の倍数でない」を示すことはできないので、このことを根拠にしないように。