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
,
.