theorem Th33: :: LMOD_XX1:34

for R being comRing
for M being LeftMod of R
for a being Element of R holds (curry the lmult of M) . a is Endomorphism of R,M