The divisor $D_{\psi}$ intersects properly the image of $\Phi_{p,A}$. The function $\psi\circ A$ is an H-lattice function on $\Pi_{1}$ and

$$\Phi^{\ast}_{p,A}D_{\psi}=D_{\psi\circ A}.$$

Moreover, $\{(m_{\Gamma},l_{\Gamma})\}_{\Gamma\in\Pi_{1}}$ is a set of defining vectors of $\psi\circ A$.