Quasiaffine Varietät/Morphismus nach affiner Varietät/Fakt

Es sei eine quasiaffine Varietät, und zwar sei , wobei eine kommutative -Algebra von endlichem Typ über einem algebraisch abgeschlossener Körper sei. Es sei eine weitere kommutative -Algebra von endlichem Typ.

Dann gibt es eine natürliche Bijektion

wobei den zu gehörigen globalen Ringhomomorphismus bezeichnet.