>>561
そうですね。しかし、代入するのではなく
2w×ts/((ps-1)ps^(qs-cs-1))×pr^(qr-cr-1)=1
から、
pr^(qr-cr-1)は約分で消える事が分かったので、現時点では
2wtr ≡ 0 mod pr
とは言えないと思います。