2 Halle todas las funciones $f:\mathbb{Z}^{+} \rightarrow \mathbb{Z}^{+}$ tales que se cumplan las condiciones $\quad a) \quad a-b \mid f(a)-f(b)$ para todo $a\neq b$ con $a,b \in \mathbb{Z}^{+}$ ; $\quad b) \quad f(\varphi(a))=\varphi(f(a))$ para todo $a \in \mathbb{Z}^{+}$ , donde $\varphi$ es la función totiente de Euler.