Diffie Helman密钥交换证明中用于减少模运算符的规则是什么？

Question

这个问题非常具体。我期望了解或不需要DH的背景技术来帮助我解决这个问题。

在Diffie Hellman密钥的证明中，交换以下等式：

减少为：

我用基本的代数理解“幂定律”告诉我们，要将幂提高到幂，只需乘以指数即可。因此， g 获得 ab 指数。

但是， mod p 如何减少的规则或解释是什么？