A6 Denotamos el conjunto de los enteros no nulos y el conjunto de los enteros no negativos con $\mathbb Z^*$ y $\mathbb N_0$, respectivamente. Encuentra todas las funciones $f:\mathbb Z^* \to \mathbb N_0$ tales que: $a)$ $f(a+b)\geq \min(f(a), f(b))$ para todos $a,b$ en $\mathbb Z^*$ para los cuales $a+b$ está en $\mathbb Z^*$. $b)$ $f(ab)=f(a)+f(b)$ para todos $a,b$ en $\mathbb Z^*$.