>>572,587 は自分の間違いでした。すみません。
1さんの言う通り、tr'を整数として
tr=tr'pr^(qr-cr-1)
となるのだと思います。
しかし、これに2wをかけるので、
2wtr = 2×((pr-1)/(2tr))×tr'pr^(qr-cr-1)
で、pr^(qr-cr-1)はtrを割り切るので、
（>>585の「 A は D を割り切る 」）
pr^(qr-cr-1)はどうしても消えます。
よって現時点では
2wtr ≡ 0 mod pr
とは言えないと思うのですが、どうでしょうか。
