theorem LMFirst5: :: ZMODUL07:31

for R being Ring
for V being LeftMod of R
for W being Subspace of V holds ker (ZQMorph (V,W)) = (Omega). W