theorem LMFirst4: :: ZMODUL07:30

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