Доказательство равенства в протоколе Диффи—Хеллмана?

Question

[twintwin1003]

Привет!

Копался в алгоритмах, связанных с криптографией, и наткнулся на протокл Диффи—Хеллмана. Возник вопрос, как доказывается вот это равенство: (g^b modp)^a≡g^ab modp
Вот здесь, приведено решение, но не очень понятен последний пункт: math.stackexchange.com/questions/61358/prove-equiv...

Кто может объяснить?) Спасибо!

Answer 1

[Rsa97]

Comments

[speexz]

4-е выражение - неверное.
Верно: x^a mod p = x'^a mod p

Отсюда неверны и последние два выражения.