\gcd(a^m - 1, a^n - 1) = a^{\gcd(m,n)} - 1, \quad ext{for } a > 1.