Es ist
Daher folgt alles daraus, dass die Zuordnung P ↦ P ( f ) {\displaystyle {}P\mapsto P(f)} mit der Addition und der Skalarmultiplikation verträglich ist.