>>590
qr-cr-1>0のとき
>tr=tr'pr^(qr-cr-1)
だから、
tr≡0 (mod pr)
∴2twt≡0 (mod pr)