theorem Th25: :: RMOD_4:25

for R being Ring
for V being RightMod of R
for v being Vector of V
for f being Function of V,R holds f (#) <*v*> = <*(v * (f . v))*>