theorem Th14: :: LMOD_XX1:14

for R being Ring
for M being AbGroup
for s being Function of R,(End_Ring M) st s is RingHomomorphism holds
AbGrLMod (M,s) is LeftMod of R