Sea $\mathbb{Q}$ el conjunto de los números racionales. Una función $f: \mathbb{Q} \to \mathbb{Q}$ se llama aquaesuliana si se cumple la siguiente propiedad: para todo $x,y \in \mathbb{Q}$ , \[ f(x+f(y)) = f(x) + y \quad \text{o} \quad f(f(x)+y) = x + f(y). \] Demuestre que existe un entero $c$ tal que para cualquier función aquaesuliana $f$ hay a lo sumo $c$ números racionales diferentes de la forma $f(r) + f(-r)$ para algún número racional $r$ , y encuentre el valor posible más pequeño de $c$ .