Kategorie:Theorie der Vektorräume als Polynomringmoduln/Beweise