Starting with an analysis of the result that for any coprime integers a and b, and some ϵ > 0, we have eventually that gcd(a^n − 1,b^n − 1) < a^ϵn holds for all n, we are motivated to look for geometric reasons why this ...