Affines Schema/Hauptmenge/Affin/Fakt

Es sei das affine Schema zu einem kommutativen Ring und es sei .

Dann ist .