theorem :: ZMODUL02:58

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