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