Vector space/Basis complement/Fact/Proof

Proof

Let be a basis of . Due to the basis exchange theorem, there are vectors from the basis that, together with the given vectors , form a basis of .