1 Sea $n$ un entero positivo. Sea $A_n$ el conjunto de los primos $p$ tales que existen enteros positivos $a,b$ que satisfacen que $$\frac{a+b}{p} \text{ and } \frac{a^n + b^n}{p^2}$$ son ambos enteros coprimos con $p$ . Si $A_n$ es finito, sea $f(n)$ el cardinal $|A_n|$ . a) Demuestre que $A_n$ es finito si y solo si $n \not = 2$ . b) Sean $m,k$ enteros positivos impares y sea $d$ su mcd. Demuestre que $$f(d) \leq f(k) + f(m) - f(km) \leq 2 f(d).$$