>>586
>>560の　2w×ts/((ps-1)ps^(qs-cs-1))×pr^(qr-cr-1) = 1
より
pr^(qr-cr-1) は (ps-1)ps^(qs-cs-1) を割り切ります。
ただちに pr は (ps-1)ps^(qs-cs-1) を割り切る事が分かります。
そして
・（1さんも言っている通り）pr は ps-1 を割り切らない
→ pr は ps^(qs-cs-1) を割り切る
→ pr と ps は互いに素ではない
→ >>4 の論法は使えない
が言えます。