0592 ◆RK0hxWxT6Q 垢版 | 大砲2018/11/14(水) 18:29:34.61ID:UowEzDLM >>590 qr-cr-1>0のとき >tr=tr'pr^(qr-cr-1) だから、 tr≡0 (mod pr) ∴2twt≡0 (mod pr)