传送门

我不大理解，为什么能由

$g^{ak} - g^{bk} \equiv 1(mod\ P)

$g^{t_1} - g^{t_2} \equiv 1(mod\ P)$

推出来 $ak \equiv t_1(mod\ P-1)$ $bk \equiv t_2(mod\ P-1)$。

想了很久都不大明白