We have
This implies the statement, since the assignment P ↦ P ( f ) {\displaystyle {}P\mapsto P(f)} is compatible with addition and scalar multiplication.