Es sei X {\displaystyle {}X} eine kompakte zusammenhängende riemannsche Fläche mit dem Geschlecht g ≥ 1 {\displaystyle {}g\geq 1} . Es sei Q ∈ X {\displaystyle {}Q\in X} ein fixierter Punkt.
Dann ist die Abbildung
surjektiv.
![{\displaystyle X^{g}\longrightarrow \operatorname {DKG} _{0}\left(X\right),\,\left(P_{1},\,\ldots ,\,P_{n}\right)\longmapsto \sum _{i=1}^{g}[P_{i}]-g[Q],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6bf4fed5dc0965c72e8551c99b2a155571429054)