18/11/12 21:22:25.87 oxVoWOt5.net
>>574
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)
となります
18/11/12 21:22:25.87 oxVoWOt5.net
>>574
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)
となります