的不变子空间，故其可进一步分解为承载formula_1的有限维不可约表示的子空间的直和。设formula_88是formula_70中可以分解为承载有限维不可约表示的子空间的直和的最大子空间，formula_88是formula_91的正交补。（由佐恩引理，这样做是合法的。）显然formula_91也是formula_68的不变子空间，若formula_91不是零空间，formula_68在formula_91上的限制也是formula_1的酉表示。因此，将以上的论证中的formula_70用formu