7 ¿Existe alguna función $ f : \mathbb{R}\to\mathbb{R}$ que satisfaga las siguientes condiciones: $1) f(0) = 1$ $2) f(x+f(y)) = f(x+y) + 1$ , para todo $x,y \to\mathbb{R} $ $3)$ existen $x_0$ racional pero no entero, tal que $f(x_0)$ es entero