Let be a field, let be a -vector space, and let
, ,
be a family of vectors in . Let
, ,
be a family of elements in . Prove that the family
, ,
is linearly independent
(a system of generators of , a basis of ),
if and only if the same holds for the family
, .