theorem HM12: :: VECTSP12:2

for F being Field
for X, Y being VectSp of F
for T being linear-transformation of X,Y
for A being Subset of X st T is bijective holds
( A is Basis of X iff T .: A is Basis of Y )