Let \(f(t,x):[0,\infty )\times \mathbb {R}^d\to \mathbb {R}^d\) be a continuous function and \(x_0\in \mathbb {R}^d\). Suppose that there are constants \(L,M<\infty \) such that
\[ |f(t,y)-f(t,z)|\le L|y-z|\quad \text {and}\quad |f(t,0)|\le M \]
for all \(t\), \(y\), \(z\).
Show that the initial value problem
\[ \dot {x}=f(t,x) \]
\[ x(0)=x_0 \]
has a unique solution \(x(t)\in C^1([0,\infty ),\mathbb {R}^d)\). [Don’t just quote a result. State the theorem and give as complete and detailed a proof as you can.]