The Gronwall inequality

We prove the following version generalization of the Gronwall inequality: Let $\mathbf X$ be a Banach space and $U\subset \mathbf X$ an open convex set in $\mathbf X$. Let $f,g\colon [a,b]\times U\to \mathbf X$ be continuous functions and let $y,z\colon [a,b]\to U$ satisfy the initial value problems \begin{align*} y'(t)&=f(t,y(t)),\quad y(a)=y_0,\\ z'(t)&=g(t,z(t)),\quad z(a)=z_0. \end{align*} Also assume there is a constant $C\ge 0$ so that $$\|g(t,x_2)-g(t,x_1)\|\le C\|x_2-x_1\|$$ and a continuous function $\phi\colon [a,b]\to [0,\infty)$ so that $$\|f(t,y(t))-g(t,y(t))\|\le \phi(t).$$ Then for $t\in [a,b]$ $$\|y(t)-z(t)\| \le e^{C|t-a|}\|y_0-z_0\|+e^{C|t-a|}\int_a^te^{-C|s-a|}\phi(s)\,ds.$$