theorem Th20: :: RANKNULL:20

for F being Field
for V being VectSp of F
for A being Subset of V st A is linearly-independent holds
A is Basis of (Lin A)