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

Proof

Let denote a basis of . We can extend this basis, according to fact, to a basis of . Then

fulfills all the properties of a direct sum.