Q8 Matemática  (IMO Shortlist 1996)

Seja ${\mathbb{N}}_0$ o conjunto dos inteiros não negativos. Encontre todas as funções $f$ de ${\mathbb{N}}_0$ a si mesmo tal que $$f(m+f(n))=f(f(m))+f(n)\text{for all }m,n\in {\mathbb{N}}_0.$$