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

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

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