4.2 Halle todos los enteros $a > 1$ para los cuales existen infinitos pares de enteros positivos primos relativos $(m, n)$ tales que $m | a^n- 1$ y $n | a^m - 1$.