Es sei
eine quasiaffine Varietät über einem algebraisch abgeschlossenen Körper, und zwar sei
, wobei
eine kommutative
-Algebra von endlichem Typ über einem algebraisch abgeschlossenen Körper
sei.
Dann gibt es eine natürliche Bijektion
-
wobei
die Variable in
bezeichnet.
Insbesondere sind Morphismen von
in die affine Gerade durch den globalen Ringhomomorphismus
-
eindeutig bestimmt.