Aufgabe:
a) Beweisen Sie die Behauptung in Satz 4.2, d.h. dass \( (\mathbb{K}[x],+, \cdot) \) ein assoziativer und kommutativer Ring mit Einselement ist.
b) Zeigen Sie, dass ein Polynomring \( \mathbb{K}[x] \) keinen Nullteiler besitzt, wenn \( \mathbb{K} \) keine Nullteiler besitzt.