Es sei
ein
algebraisch abgeschlossener Körper,
eine
-
Algebra von endlichem Typ
und sei
das
-
Spektrum
von
. Es sei
eine Zariski-offene Menge,
ein Punkt und es sei
eine
algebraische Funktion,
für die es die beiden rationalen Darstellungen
-
gebe mit
und mit
.
Dann gibt es ein
mit
-
Ist
reduziert,
so gilt sogar
-
![{\displaystyle {}H_{1}H_{2}(G_{1}H_{2}-G_{2}H_{1})=0\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bafc62fb68baaa683f0ce8f3c868c262e33a7675)