theorem :: ZMODUL07:26

for R being Ring
for V, W being LeftMod of R
for T being linear-transformation of V,W holds T = (Zdecom T) * (ZQMorph (V,(ker T)))