If f(x, y) is Lipschitz in y on a neighborhood of (x_0, y_0), the IVP y' = f(x,y), y(x_0) = y_0 has a unique solution on some interval.
If f(x, y) is Lipschitz in y on a neighborhood of (x_0, y_0), the IVP y' = f(x,y), y(x_0) = y_0 has a unique solution on some interval.