Let be a
field,
and let be a
-vector space.
Let ,
,
be a family of vectors in , and let
be another vector. Assume that the family
-
is a system of generators of , and that is a linear combination of the ,
.
Prove that also ,
,
is a system of generators of .