1: \begin{proof}

2:  Local identity \eqref{eqJ1VugualeVJ1COORD} should be enough to convince oneself of the validity of \eqref{eqJ1VugualeVJ1}. A general rigorous proof takes much more space and it is put off (see Section \ref{appVJ1UgJ1V} later on).

3: \end{proof}

4: