theorem Th1: :: RMOD_2:1

for R being Ring
for V being RightMod of R
for V1 being Subset of V st V1 <> {} & V1 is linearly-closed holds
0. V in V1