的有限维线性空间，formula_3是有限群formula_4的表示, formula_5是formula_1的formula_4不变子空间, formula_2的特征不能整除formula_4的阶，则存在formula_1中的formula_4不变子空间formula_12，使得formula_13，从而formula_3是完全可约的。
证明.formula_5是formula_1的子空间，所以存在formula_5在formula_1中的补空间formula_19，及投影f