theorem Th24: :: LMOD_XX1:24

for R being comRing
for M, N being LeftMod of R holds Hom (R,M,N) is LeftMod of R