Kategorie:Theorie der K-Spektren (kommutative Algebra)/Beweise