pを素数とするとき、正の整数に対して
X^n ≡ a (mod p)
が解をもつ必要十分条件は、d=(n,p-1)としたとき
a(p-1)/d ≡ 1 (mod p)
となることである。このとき解の個数はd個である

「証明」

　pを法とする原始根をrとすると、X^n≡a(mod p)は
n indr X ≡ indr a (mod p-1)
と同等である。


とあるのですがなぜ同等なのかわかりません。だれか教えてください。お願いします。