18/06/08 03:19:50.02 7XDP4ec8.net
4ページの最後の部分
この合同式が成立するのは、p_r が (p+1)/2 の倍数になることはないから
p_r = (p+1)/2
のとき、または s を整数、 p_r ≡ s (mod (p+1)/2) として、 s = 1 のときには
s^{q_r}
18/06/08 03:19:50.02 7XDP4ec8.net
4ページの最後の部分
この合同式が成立するのは、p_r が (p+1)/2 の倍数になることはないから
p_r = (p+1)/2
のとき、または s を整数、 p_r ≡ s (mod (p+1)/2) として、 s = 1 のときには
s^{q_r}