a
b
≡
{
a
b
m
o
d
φ
(
p
)
,
gcd
(
a
,
p
)
=
1
a
b
,
gcd
(
a
,
p
)
≠
1
,
b
<
φ
(
p
)
(
m
o
d
p
)
a
b
m
o
d
φ
(
p
)
+
φ
(
p
)
,
gcd
(
a
,
p
)
≠
1
,
b
≥
φ
(
p
)
a^{b}\equiv\left\{