Kategorie:Theorie der Primideale (kommutative Algebra)/Beweise