>>916
pは素数、p≠2とする。

rは原始根だから
r^((p-1)/2)≡1より≡-1 modp
Inda≡Ind(-1)+Indb mod(p-1)
底の変換もlogと同様である。