theorem LMFirst3: :: ZMODUL07:29

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 the carrier of (ker (g * f)) = f " the carrier of (ker g)