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/383a3c0fb17bde16c3260eb437ba36123af0affb)