1: \begin{proof}

2: A rigorous proof can be found in Appendix.

3: \end{proof}

4: