theorem LMFirst1: :: ZMODUL07:27

for V, U, W being Z_Module
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