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
.