Vector space/Basis complement/Fact
Let denote a finite-dimensional vector space over a field . Let
denote linearly independent vectors in .
Let denote a finite-dimensional vector space over a field
. Let
denote
linearly independent
vectors in .