theorem HM6: :: ZMODUL06:45

for R being Ring
for X, Y being LeftMod of R
for A being Subset of X
for L being linear-transformation of X,Y st L is bijective holds
( A is linearly-independent iff L .: A is linearly-independent )