theorem LMFirst1: :: ZMODUL07:27

for R being Ring
for V, U, W being LeftMod of R
for f being linear-transformation of V,U
for g being linear-transformation of U,W holds g * f is linear-transformation of V,W