Es sei X{\displaystyle {}X} ein normales noethersches integres Schema mit Funktionenkörper K{\displaystyle {}K}.
Dann ist die Zuordnung
ein Gruppenhomomorphismus.