Satz 16.2
Kurs:Algebraische Kurven (Osnabrück 2025-2026)/Vorlesung 16 K-Spektrum/Irreduzible Filter, Primideale, irreduzible Teilmengen/Fakt