pを素数とします。 mod p-1 の演算[a]を、 a^x＋a^y＝a^z (mod p) のとき、 x[a]y＝z (mod p-1) と定義します。 aがpと互いに素のとき a^x＝0 (mod p) となるxは存在しませんが、 演算[a]においてa^x＝0 (mod p) となるxに対応する数をrと書くことにします。…