\gcd(a^m - 1, a^n - 1) = a^\gcd(m,n) - 1, \quad extfor a > 1. - Nelissen Grade advocaten