Proposition 8.11
Kurs:Bündel, Garben und Kohomologie (Osnabrück 2019-2020)/Vorlesung 8 Kommutativer Ring/Spektrum/Zariski-Topologie/Abgeschlossene und offene Teilmengen/Fakt