假设 g^a ≡ 1 (mod m) 且 g^b ≡ 1 (mod m)，请证明 g^gcd(a,b) ≡ 1 (mod m)。

由g^a ≡ 1 (mod m)可得g^a=k1m+1

a=logg(k1m+1)

已知gcd（a，b）是a和b的最大公因数，则存在整数n使得n*gcd（a，b）=a

gcd（a，b）=logg(k1m+1)/n

g^gcd(a,b)=(k1m+1)/g^n

而g^gcd(a,b)为整数，那么(k1m+1)/g^n也为整数

(k1m+1)/g^n≡ 1 (mod m)

则g^gcd(a,b) ≡ 1 (mod m)