Kategorie:Modultheorie (kommutative Algebra)/Beweise