Musst ja nur die Abgeschlossenheit zeigen und
dass die Inversen immer dazu gehören:
Abgeschlossen gegenüber +:
Seien f,g ∈ W.
==> (f+g)(n + 2)
= f(n+2) + g(n+2)
= f(n + 1) + f(n) + g(n + 1) + g(n)
= f(n + 1) + g(n + 1) + f(n) + g(n)
= (f+g)(n+1) + (f+g)(n) .
etc. So spielst du alles auf die Eigenschaften der
einzelnen Summanden zurück.