(Q656198)

theorem that a representation of a finite group over a field with characteristic not dividing the order of the group decomposes as a direct sum of irreducible representations