>>538
2m+1 が pt の倍数である⇒pt が (p+1)/2 の素因数である
が成立すると思います