Könnte so beginnen:
Abgeschlossenheit gegenüber +F[x]
(Ich schreib mal nur + )
Seien f und g aus F[x]
==> es gibt n,m aus N und a0,...an aus F
und b0,...,bm aus F mit
f= ao+a1*x + …. + an*x^n
g= b0 + b1*x +...… bm*x^m
und wenn o.B.d.A. m>n ist, dann ist
f+g = (ao+bo) + (a1+b1)*x + ………..bm*x^m
wieder ein Polynom in F[x].
etc.