theorem :: ZMODUL06:48

for R being Ring
for X, Y being LeftMod of R
for T being linear-transformation of X,Y st T is bijective holds
( X is free iff Y is free )