表現の完全可約性とshurの補題で行けるな