theorem LMFirst3: :: ZMODUL07:29

for V, U, W being Z_Module
for f being linear-transformation of V,U
for g being linear-transformation of U,W holds the carrier of (ker (g * f)) = f " the carrier of (ker g)