1: \begin{proof}

2: 	We write this as a lemma to ensure the rigorousness of the whole proof. Actually it can be easily verified and thus the proof is omitted.

3: \end{proof}