Endlich erzeugte integre K-Algebra/Definitionsort im K-Spektrum ist offen/Aufgabe

Es sei ein Körper und eine integre, endlich erzeugte -Algebra mit Quotientenkörper . Es sei . Zeige, dass die Menge

offen in ist

(dabei bezeichnet den lokalen Ring im Punkt ).