theorem HM6: :: ZMODUL06:45

for X, Y being Z_Module
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 )