In "Who proved Haag's theorem?", Tracy Lupher writes:
In modern operator theory it is a well known mathematical fact that two irreducible representations are unitarily inequivalent if and only if they are orthogonal.
I would like to find a proof in the case of finite groups. Can we use Schur's lemma to show that orthogonality is equivalent to inequivalence?