。首先，作为马施克定理的推论之一，formula_110 的所以表示都是半单的（即完全可约的）。马施克定理声明，任何 formula_110 的表示 formula_111 的任何子表示 formula_112 都有一个 formula_110-不变的补空间。其中一个证法为，先任意选取从 formula_111 到 formula_112 的投影 formula_165，并将其替换为其在 formula_110 中的“平均”formula_168 是等变映射，此外它的核即所求的补空间。formula_