Es sei R {\displaystyle {}R} ein Integritätsbereich und Spek ( R ) = ( X , O X ) {\displaystyle {}\operatorname {Spek} {\left(R\right)}=(X,{\mathcal {O}}_{X})} das zugehörige integre affine Schema.
Dann ist