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
-
