 Weyl complete reducibility theorem

Every finite-dimensional representation of a complex semisimple Lie algebra is a direct sum of irreducible representations. Equivalently, every invariant subspace has an invariant complement.