This theorem shows that if a [vector space](/page/Vector%20Space) is a [direct sum](/page/Direct%20Sum) of a subspace and a complement, then the complement is naturally isomorphic to the quotient by the subspace. It gives a concrete model for quotient spaces when a complement is chosen.