Let act on by . Its character is zero unless and are conjugate, in which case it equals . Character column orthogonality gives the same character forwhere the run through the irreducible complex representations. Maschke's theorem therefore gives an isomorphism of the two representations.
Codex Wiki