Kategorie:Theorie der assoziierten Primideale/Beweise