1: \begin{proof}

2: Let $x\in U$ be fixed and consider the map $r$ defined in $$f(x+h)=f(x)+g(x)h+r(h).$$ From Definition~\ref{def:diffBanach}, it suffices to prove that $\lim_{h\to 0}\frac{r(h)}{\|h\|}=0$. For a sufficiently small $h$, the closed line segment $[x,x+h]$ is contained in $U$. It follows from the hypotheses on $\mathcal F$ that for each $\lambda\in\mathcal F$ the curve $$[0,1]\ni t\longmapsto(\lambda\circ f)(x+th)$$ is differentiable, with $$\frac{\dd}{\dd t}(\lambda\circ f)(x+th)=\lambda(g(x+th)h).$$

3: 

4: From the Fundamental Theorem of Calculus\footnote{This can be rigorously done only with a theory of integration for Banach space valued curves. One possibility is to use the {\em Bochner integral} (see \cite{ys}), however there are also simpler approaches in this case. For instance, one can use the notion of {\em weak integration}.},

5: \begin{eqnarray*}

6: \lambda(r(h)) &=& \int_0^1\frac{\dd}{\dd t}(\lambda\circ f)(x+th)\;\dd t-\lambda(g(x)h) \\

7: &=& \lambda\left(\int_0^1g(x+th)h\;\dd t-g(x)h\right).

8: \end{eqnarray*}

9: Since $\mathcal F$ separates points in $Y$, it follows that

10: \begin{eqnarray*}

11: \|r(h)\| &=& \left\|\int_0^1g(x+th)h\;\dd t-g(x)h\right\| \\

12: &=& \left\|\left(\int_0^1 g(x+th)-g(x)\;\dd t\right)h\right\| \\

13: &\le & \left(\sup_{t\in[0,1]}\|g(x+th)-g(x)\|\right)\|h\|.

14: \end{eqnarray*}

15: From continuity of $g$, $\lim_{h\to 0}\frac{r(h)}{\|h\|}=0$, which concludes the proof.

16: \end{proof}

17: