Complemented subspace