Affine Varietäten/Zariski-Topologie ist noethersch/Fakt

In einem affinen Raum ${𝔸}_K^n$ wird jede absteigende Folge von abgeschlossenen Mengen

$V_1\supseteq V_2\supseteq \dots$

stationär.

Zum Beweis, Alternativen Beweis erstellen