证明：Ka=Kb$K_a=K_b$

对于Alice有：

Ka=(Yb)Amod p=(gBmod p)A mod p=gB×A mod p$K_a={\left(Y_b\right)}^{A}modp={\left(g^{B}modp\right)}^{A}modp=g^{B\times A}modp$

对于Bob有：

Kb=(Ya)Bmod p=(gAmod p)B mod p=gA×B mod p$K_b={\left(Y_a\right)}^{B}modp={\left(g^{A}modp\right)}^{B}modp=g^{A\times B}modp$

上面的运算过程，可根据取模运算的性质可得【a ^ b % p = ((a % p)^b) % p】，由上可得，Alice和Bob生成的密钥其实是进行相同的运算过程，因此必然有 Ka=Kb$K_a=K_b$。