1: \begin{proof}

2: The proof is given in the Section \ref{sec:Proofs-concerning-Chapter rigorous}

3: of the Appendix (see page \pageref{sub:Proof-of-Lemma fidelity}).

4: \end{proof}

5: