вопрос по алгоритму Диффи — Хеллмана

[voipp]

в известном протоколе для безопасного обмена информацией https://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D1%82%D0%BE%D0%BA%D0%BE%D0%BB_%D0%94%D0%B8%D1%84%D1%84%D0%B8_%E2%80%94_%D0%A5%D0%B5%D0%BB%D0%BB%D0%BC%D0%B0%D0%BD%D0%B0
есть такие строки :
A=g^a \bmod p (1) B=g^b \bmod p (2) B^a\bmod p=g^{ab}\bmod p (3)

я не понимаю, каким образом в 3 выражении оператор $mod$ вынесли из возведения в степень?
почему так можно делать?

[Brukvalub]

Обе части сравнения можно возводить в одну и ту же натуральную степень (это одно из свойств сравнений).