if a function ls locally lip then considering this diff eq x'(t)= f(x(t) where now x and y are solutions of the DE on some interval J

and x(s)=y(s) for some s in J. then how can I prove that there exists a positive number delta such that x=y on (s-delta, s+delta)∩ J