Another consequence is that every compact Lie group has the complete reducibility property, meaning that all its finite-dimensional representations decompose as a direct sum of irreducible representations. Hall (2015, Definition 4.24., Theorem 4.28.)