Proposition 8.4
Kurs:Bündel, Garben und Kohomologie (Osnabrück 2019-2020)/Vorlesung 8 Kommutativer Ring/Spektrum/Zariski-Topologie/Erste Eigenschaften/Fakt