i have an autonomous system x'=f(x) and teh function f is loc lip on its domain, if x and y are sol of the system defined on (alpha, beta) and x(s)= y(s) for some s in (alpha, beta) then x= y on (alpha, beta)

is the solution to prove this problem similar to this one: