Lemma 6.2. Assuming that:

• $P\in E$,

  $$\begin{array}{llll}\hfill {\tau }_P:E& \to E& \hfill & \\ \hfill X& \mapsto P+X& \hfill & \end{array}$$

• $\omega =\frac{dx}{y}$ as above