theorem LMFirst4: :: ZMODUL07:30

for V, W being Z_Module
for f being linear-transformation of V,W st f is onto holds
im f = (Omega). W