daha genel halde,
$(n^a - 1,n^b - 1)=n^{(a,b)}-1$
olur. Tabii $a,b,n$ birer pozitif tamsayı. Ancak $n>1$ olsun. Şimdi $(a,b)=d$ olsun. Bu durumda $d|a$ ve $d|b$ olur.
$d|a$ ise $n^d - 1 | n^a-1$ olur. (Bunu da sen kanıtla). Aynı şekilde $n^d - 1 | n^b-1$ olur. Tanım gereği,
$n^d - 1 | (n^a - 1,n^b - 1)$
olur. Eşitliğin sağlandığını göstermek için bunu tersten de göstermeliyiz. Zira $a|b$ ve $b|a$ olursa $|a|=|b|$ olur.
Şimdi bir $m$ için $n^a \equiv n^b \equiv 1 (mod m)$ olsun. $(m,n)=1$ olduğu bariz. Ayrıca Bezout teoremine göre $au+bv=(a,b)$ olacak şekilde $u,v$ tamsayılar var.
$n^{au+bv}=n^{(a,b)} \equiv 1 (mod m)$
Demek ki $m | n^d - 1$. Sonuç olarak
$(n^a - 1,n^b - 1) | n^d - 1$
$(n^a - 1,n^b - 1)=n^{(a,b)}-1$