1: \begin{proof}

2: [Meta-Proof]This result is a special case of Meta-Corollary \ref{mcor.B.32} of

3: Appendix \ref{sec.B}. Nevertheless we will give a second \textquotedblleft

4: proof\textquotedblright\ here which will be closer in line with the rigorous

5: proof of Corollary \ref{cor.4.12} below.

6: 

7: Replacing $\eta$ by $s\eta$ in Eq. (\ref{e.3.9}) and differentiating the

8: result leads to,%

9: \begin{align}

10: \frac{d}{ds}|_{0}\int_{\mathcal{A}_{0}}\Psi\left(  \left(  A+s\eta\right)

11: ^{g_{s\eta}}\right)  d\mu\left(  A\right)   &  =\int_{\mathcal{A}_{0}}%

12: \Psi\left(  A\right)  \exp\left(  \left\langle \partial_{y}A,\partial_{y}%

13: \eta\right\rangle \right)  d\mu\left(  A\right) \nonumber\\

14: &  =\int_{\mathcal{A}_{0}}\Psi\left(  A\right)  \exp\left(  \left\langle

15: \partial_{y}A,\partial_{y}\eta\right\rangle \right)  d\mu\left(  A\right)  .

16: \label{e.3.11}%

17: \end{align}

18: If we now further assume that $\Psi$ is $g_{s\eta}$-invariant, then%

19: \[

20: \frac{d}{ds}|_{0}\Psi\left(  \left(  A+s\eta\right)  ^{g_{s\eta}}\right)

21: =\frac{d}{ds}|_{0}\Psi\left(  A+s\eta\right)  =\left(  \partial_{\eta}%

22: \Psi\right)  \left(  A\right)

23: \]

24: which combined with Eq. (\ref{e.3.11}) verifies Eq. (\ref{e.3.10}).

25: 

26: \end{proof}