Beweis der Skalarerweiterung von Polynomringen geändert.