 Weyl's theorem on complete reducibility

Every finite-dimensional representation of a complex semisimple Lie algebra is a direct sum of irreducible representations.