1: \begin{proof}

2: The expression of~$\At_3$ can be obtained by a direct computation or with the Baker-Campbell-Hausdorff formula (see~\cite{hairer2006geometric}), which is a convenient way to perform the algebra allowing to make precise the various terms in expansions in powers of~$\Dt$. Let us sketch how this is done, and refer to~\cite{leimkuhler2016computation} for strategies of proof in order to make the expansions below rigorous. First, 

3: \[

4: \Qdt = \e^{\Dt \Lc} + \Dt^3\left(\A_3-\frac{\Lc^3}{6}\right) + ...

5: \]

6: and, by the Baker-Campbell-Hausdorff formula,

7: \[

8: \e^{\Dt W/2} \e^{\Dt \Lc} \e^{\Dt W/2} = \e^{S_{\Dt}}, 

9: \qquad 

10: S_{\Dt} = \Dt (\Lc+W) + \frac{\Dt^3}{12} \left( -\frac12 \big[W,[W,\Lc]\big] + \big[\Lc,[\Lc,W]\big]\right),

11: \]

12: where $[A,B] = AB-BA$ denotes the commutator of two operators $A$ and $B$. Therefore, 

13: \[

14: \e^{\Dt W/2} \e^{\Dt \Lc} \e^{\Dt W/2} = \Id + \Dt (\Lc+W) + \frac{\Dt^2}{2} (\Lc+W)^2 + \frac{\Dt^3}{6} (\Lc+W)^3 + \frac{\Dt^3}{12} \left( -\frac12 \big[W,[W,\Lc]\big] + \big[\Lc,[\Lc,W]\big]\right) + ...

15: \]

16: The conclusion then follows from

17: \[

18: \e^{\Dt W/2} \Qdt \e^{\Dt W/2} = \e^{\Dt W/2} \e^{\Dt \Lc} \e^{\Dt W/2} + \Dt^3\left(\A_3-\frac{\Lc^3}{6}\right) + ...

19: \]

20: upon developping the commutators. 

21: \end{proof}

22: