theorem HM0: :: ZMODUL06:41

for R being Ring
for X, Y being LeftMod of R
for L being linear-transformation of X,Y holds L . (0. X) = 0. Y