Suppose VVV is finite-dimensional and UUU is a subspace of VVV. Then there exists a subspace WWW of VVV such that V=U⊕WV = U \oplus WV=U⊕W.