Encuentra todas las funciones \(f:\mathbb{N}_0\to\mathbb{N}\) tales que 1) \(f(a)\) divide a \(a\) para todo \(a\in\mathbb{N}_0\), y 2) para todos \(a,b,k\in\mathbb{N}_0\) se tiene \[ f\bigl(f(a)+kb\bigr)\;=\;f\bigl(a + k\,f(b)\bigr). \]