 Character inversion identity

For a complex representation of a finite group, the eigenvalues of each represented element are roots of unity. They have absolute value one, so inversion equals complex conjugation on each eigenvalue. Taking traces gives the identity.