theorem :: ZMODUL07:26

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