theorem Th37: :: LMOD_XX1:39

for R being comRing
for M being LeftMod of R holds
( rho M is additive & rho M is homogeneous )