Oración 1: existe un divisor K ∈ Div(XF ) tal que ∀ D ∈ Div(X ), ∆∗ ∼F D = LK−D
Oración 2: sea A un dominio de Dedekind
Relación: neutral
Género: theses