theorem :: RMOD_4:64

for R being Ring
for V being RightMod of R holds {} the carrier of V is linearly-independent