theorem Th38: :: LMOD_XX1:40

for R being comRing
for M being LeftMod of R holds
( rho M is one-to-one & rho M is onto )