for K being Field
for V, W being finite-dimensional VectSp of K holds
( dim V = dim W iff ex T being linear-transformation of V,W st T is bijective )