Es sei R {\displaystyle {}R} eine kommutative K {\displaystyle {}K} -Algebra von endlichem Typ. Zeige, dass für jedes Ideal a ⊆ R {\displaystyle {}{\mathfrak {a}}\subseteq R} in K − Spek ( R ) {\displaystyle {}K\!\!-\!\operatorname {Spek} \,{\left(R\right)}} die Gleichheit
gilt.