Suppose is linearly independent in . Prove that the list
Is also linearly independent.
This is the same list as in 2a/1, notice the two lists are "basically the same" (meaning we can get from one to the other and vise versa by taking linear combinations), so their equivilance makes sense.
The proof is quite straightforward, suppose
Then distribute to get
Since is linearly independent, this implies
Which, using the same telescoping trick as before implies (add to , etc). This completes the proof.
Looking back I don't like this proof, it's a direct computation which doesn't generalize the intuitive concept I stated at the top.
Let's state the general theorem: If are linearly independent in and are such that for all there is some choice of so that
Then is linearly independent in .
Proving this is easy once we have access to the tools in 2.B, specifically it's a direct consequence of 2.42.