It is easy to prove that the irreducible representation of finite group satisfies orthogonal relation through the usage of Schur Lemma.

• 摘要利用舒尔引理，很容易证明有限群的不可约表示满足正交关系。