Polynomring/Über Z/Faktoriell/Fakt

Der Satz von Gauß (Polynomringe)

Der Polynomring

ist faktoriell.