Kategorie:Theorie der noetherschen kommutativen Ringe/Beweise