Consider $y' = f(x, y)$ where $f(x, y) = x^2 + y^2$. Which theorem justifies that there exists a unique solution for $y(0) = 1$ in a small interval around $x=0$?