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