Vector space/Basis complement/Fact/Proof

Proof

Let $b_1,\dots ,b_n$ be a basis of $V$. Due to the basis exchange theorem, there are $n-k$ vectors from the basis $𝔟$ that, together with the given vectors $u_1,\dots ,u_k$, form a basis of $V$.

To fact