Kategorie:Theorie der Polynomringe (kommutative Algebra)/Beweise