Kategorie:Theorie der Annullatoren (kommutative Algebra)/Beweise