Determine todas las funciones $f$ definidas en los números naturales que toman valores entre los números naturales para los cuales \[ (f(n))^p \equiv n\quad {\rm mod}\; f(p) \] para todo $n \in {\bf N}$ y todos los números primos $p$.