http://en.wikipedia.org/wiki/Schur's_lemma
を見てごらん、この補題はそんな具体的なものだけに
当てはまるものではなくもっと大きな概念ですよ。