8 Para cada par de enteros positivos $m$ y $n$ , definimos $f_m(n)$ como sigue: $$ f_m(n) = \gcd(n, d_1) + \gcd(n, d_2) + \cdots + \gcd(n, d_k), $$ donde $1 = d_1 < d_2 < \cdots < d_k = m$ son todos los divisores positivos de $m$ . Por ejemplo, $f_4(6) = \gcd(6,1) + \gcd(6,2) + \gcd(6,4) = 5$ . $a)\:$ Halle todos los enteros positivos $n$ tales que $f_{2017}(n) = f_n(2017)$ . $b)\:$ Halle todos los enteros positivos $n$ tales que $f_6(n) = f_n(6)$ .