>>566
tr(ps-1)ps^(qs-cs-1)=ts(pr-1)pr^(qr-cr-1)

pr>psのときは
ps-1はprで割り切られないので、tr'を整数として
tr=tr'pr^(qr-cr-1)
となるから
2wtr≡0 (mod pr)
となります