theorem Th1V: :: ZMODUL06:1

for R being commutative Ring
for V being LeftMod of R
for W being Subspace of V holds (1. R) (*) W = (Omega). W