Vector space/Finite dimensional/Linear subspace/Direct complement/Fact

Let be a finite-dimensional -vector space, and let be a linear subspace.

Then there exists a linear subspace

such that we have the direct sum decomposition