1: \begin{proof}

2: Differentiating\footnote{ On Lie groups differentiation can indeed be rigorously defined as $\frac{\partial}{\partial\alpha}\phi_{\alpha}\bigr |_{ \alpha=Id}(\bfx) \delta\alpha:=\frac{d}{ds}\phi_{\exp(s\delta\alpha)}(\bfx) |_{s=0}$ with $\delta\alpha$ in the Lie algebra, which mean partial derivative of $\phi_{ \alpha}\left(\bfx\right)$ with respect to $\alpha$ at $\alpha = Id$. \label{footnote}} \eqref{eq:f_invariant} and \eqref{eq:h_invariant} w.r.t. $\alpha$ at $Id$ we obtain

3: 		\begin{align}

4: 		\frac{\partial}{\partial\alpha}\phi_{\alpha}\bigr |_{ \alpha=Id}\left(f(\bfx,\bfu,\bfw)\right) &= \frac{\partial f}{\partial \bfx}|_{(\bfx,\bfu,\bfw)}\frac{\partial}{\partial\alpha}\phi_{\alpha}\bigr |_{ \alpha=Id}(\bfx), \label{eq:f_alpha}\\

5: 		\frac{\partial h}{\partial \bfx}|_{(\bfx,\bfv)}\frac{\partial}{\partial\alpha}\phi_{\alpha}\bigr |_{ \alpha=Id}(\bfx) &= \bfzero\quad\forall \bfx\in\calX. \label{eq:h_alpha}

6: 		\end{align}

7: 		Let $\left(\bfx_n\right)_{n\geq 0}$ denote a solution of \eqref{eq:dyn} with noise turned off.   \eqref{eq:h_alpha} applied at $\bfx_{n_0}$ yields $\bfH_{n_0} \frac{\partial}{\partial\alpha}\phi_{\alpha}|_{Id}(\bfx_{n_0})    =\allowbreak \bfzero$. Considering then \eqref{eq:f_alpha} at $\bfx_{n_0}$ leads to $

8: 		  \frac{\partial}{\partial\alpha}\phi_{\alpha}|_{ Id} \left(f(\bfx_{n_0},\bfu_{n_0+1},\bfw_{n_0+1})\right)  =\allowbreak\bfF_{n_0+1}\frac{\partial}{\partial\alpha}\phi_{\alpha}|_{ Id} \left(\bfx_{n_0}\right)$. 

9: 		Applying   \eqref{eq:h_alpha} at $\bfx_{n_0+1} \allowbreak =f(\bfx_{n_0},\bfu_{n_0+1},\bfw_{n_0+1})$ yields  $

10: 		\bfH_{n_0+1}\frac{\partial}{\partial\alpha}\phi_{\alpha}|_{ Id} \left(\bfx_{n_0+1}\right)\allowbreak  =\bfzero,

11: $ and thus $\bfH_{n_0+1}\allowbreak\bfF_{n_0+1}\frac{\partial}{\partial\alpha}\phi_{\alpha}|_{ Id}\left(\bfx_{n_0}\right)=\bfzero$. A simple recursion proves   $\frac{\partial}{\partial\alpha}\phi_{\alpha}|_{ Id} \left(\bfx_{n_0}\right)\subset\Ker \calO(\bfx_{n_0})$.	\end{proof}

12: