1: \begin{proof}

2: 	The rigorous proof can be found in appendix~A.

3: \end{proof}

4: