for V being free Z_Module
for D, A being Subset of V st D is Basis of V & D is finite & card D c< card A holds
A is linearly-dependent