Sea $\mathbb N$ el conjunto de todos los enteros positivos. Un subconjunto $A$ de $\mathbb N$ es libre de sumas si, siempre que $x$ e $y$ son (no necesariamente distintos) miembros de $A$, su suma $x+y$ no pertenece a $A$. Determinar todas las funciones sobreyectivas $f:\mathbb N\to\mathbb N$ tales que, para cada subconjunto $A$ de $\mathbb N$ libre de sumas, la imagen $\{f(a):a\in A\}$ también es libre de sumas. Nota: una función $f:\mathbb N\to\mathbb N$ es sobreyectiva si, para cada entero positivo $n$, existe un entero positivo $m$ tal que $f(m)=n$.