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